«Соңғы автоматтар және формальдік тілдер теориясы»

жүктеу 14,81 Mb.

бет	31/127
Дата	21.05.2018
өлшемі	14,81 Mb.
	#15467

1 ... 27 28 29 30 31 32 33 34 ... 127

Бақылау сұрақтары
Дәріс №4 ШЕКТІ АВТОМАТТАР Жоспары
1. Детерминантты шекті автоматтар. Мур диаграммалары

Сонымен, біз Хомскиидің эквиваленттік грамматиканы нормалы түрін алдық:

онда

Бақылау сұрақтары:

Формальді грамматиканың негізгі түсінігі және классификациясы қандай?
Грамматикаларды классификациялау түрлеріне тоқталыңыз?

Дәріс №4 ШЕКТІ АВТОМАТТАР

Жоспары:

1. Детерминантты шекті автоматтар. Мур диаграммалары.

2. Шекті автоматтардың эквиваленттілігі. Мур теоремасы.

3. Мили и Мур автоматтары.

4. Шекті автоматтардың алгебралық құрылымдық теоремасы. Шекті автоматтардың ішкі жағдайларын кодтау.
1. Детерминантты шекті автоматтар. Мур диаграммалары

Шекті автоматтың бір жақтылығын терминалды емес шекті автоматты қарастырайық. Ол үшін автомат жұмысының әр бір тактын білу қажет. Детермиалданбаған шекті автомат жұмысының такты ағымды құрылымдық қалыппен және ағымды енгізу символы мен анықтаймыз. Детерминалданбаған шекті автоматтың әр тактысы бірінші конфигурациядан екінші конфигурацяға өтеді. Сонда енгізу басында оң жақтағы бір символ өзгереді. Формалдық автоматтың конфигурацясы деп (q,

)

(Qx

) Мына жұптар аталады. Конфигурация (q

) бастапқы деп аталады. Ал а(q,

), (q

F) шекті деп аталады.

жүктеу 14,81 Mb.

Достарыңызбен бөлісу:

1 ... 27 28 29 30 31 32 33 34 ... 127