Вниз
Скачать: 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.013 c
14-86101
Ketmar
2002-12-04 19:23
2002.12.26
эх... хочу


14-86148
vopros
2002-12-06 13:19
2002.12.26
Прикол


3-85873
Tip
2002-12-09 00:59
2002.12.26
Запись изменений таблиц на диск


14-86091
Gaber
2002-12-02 12:13
2002.12.26
Список стран


1-85902
msdn1
2002-12-17 00:10
2002.12.26
Image




   Наверх