Вниз
Скачать: CL | DM;

Помогите с графом описывающим работу конечного автомата...   Найти похожие ветки 

← →
BillyJeans ©   (2002-12-03 17:11) [0]

Помогите с графом описывающим работу конечного автомата...
Понимаю, вопрос немного не в тему, но вдруг кто-то встречался.
Мне нужен сам принцип, как из заданного графа, синтезировать конечный автомат на базе логических устройств. Желательно с примером, или ссылку на него.

Помогите пожалуйста...


← →
troits ©   (2002-12-03 17:44) [1]

А что там синтезировать? Граф должен быть направленным, должна быть начальная вершина и некоторое множество конечных. Дальше проходим из начальной вершины по всем дугам, и каждая дуга даст нам правило перехода КА.


← →
BillyJeans ©   (2002-12-04 08:29) [2]

кинь примерчик, чтобы было понятнее на topvic@mail.ru


← →
BillyJeans ©   (2002-12-05 16:43) [3]

Для troits:
ты хоть мыло свое напиши....


← →
troits ©   (2002-12-05 17:00) [4]

Ну нет у меня примерчика...
Если есть вопросы - задавай здесь...




← →
BillyJeans ©   (2002-12-06 09:05) [5]

... и каждая дуга даст нам правило перехода ...
как будет выглядеть это правило???


← →
troits ©   (2002-12-06 17:51) [6]

Ну возьмем определение КА

Детерминированный конечный автомат (ДКА) - это пятерка
M=(Q,T,D,q0,F), где

(1) Q - конечное множество состояний;

(2) T - конечное множество допустимых входных символов;

(3) D - функция переходов, отображающая множества QxT в
множество Q и определяющая поведение управляющего
устройства;

(4) q0<-Q - начальное состояние управляющего устройства;

(5) F<=Q - множество заключительных состояний.

Каждую вершину графа будем считать состоянием КА. Каждой дуге приписывается входной символ. Таким образом, каждая дуга дает правило перехода вида (состояние1, символ) -> (состояние2) - см. (3)



Страницы: 1 вся ветка

Скачать: CL | DM;



Память: 0.46 MB
Время: 0.009 c
3-85839
krammer
2002-12-06 20:55
2002.12.26
Почему фильтр


14-86108
p_albert77@mail.ru
2002-12-04 19:49
2002.12.26
OpenGL and Delphi


4-86223
Repeater
2002-11-12 18:03
2002.12.26
Как получить параметр который передается в нить


3-85808
sasha123
2002-12-06 10:23
2002.12.26
Как связать горизонтальную прокрутку в DBGrid c HeaderControl


4-86234
Maksss
2002-11-11 00:05
2002.12.26
Не Могу отловить ивенс




   Наверх