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



жүктеу 14,81 Mb.
бет31/127
Дата21.05.2018
өлшемі14,81 Mb.
#15467
1   ...   27   28   29   30   31   32   33   34   ...   127

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





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

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

  2. Грамматикаларды классификациялау түрлеріне тоқталыңыз?



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

Жоспары:

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

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

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



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

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

жүктеу 14,81 Mb.

Достарыңызбен бөлісу:
1   ...   27   28   29   30   31   32   33   34   ...   127




©g.engime.org 2024
әкімшілігінің қараңыз

    Басты бет
рсетілетін қызмет
халықаралық қаржы
Астана халықаралық
қызмет регламенті
бекіту туралы
туралы ережені
орталығы туралы
субсидиялау мемлекеттік
кеңес туралы
ніндегі кеңес
орталығын басқару
қаржы орталығын
қаржы орталығы
құрамын бекіту
неркәсіптік кешен
міндетті құпия
болуына ерікті
тексерілу мемлекеттік
медициналық тексерілу
құпия медициналық
ерікті анонимді
Бастауыш тәлім
қатысуға жолдамалар
қызметшілері арасындағы
академиялық демалыс
алушыларға академиялық
білім алушыларға
ұйымдарында білім
туралы хабарландыру
конкурс туралы
мемлекеттік қызметшілері
мемлекеттік әкімшілік
органдардың мемлекеттік
мемлекеттік органдардың
барлық мемлекеттік
арналған барлық
орналасуға арналған
лауазымына орналасуға
әкімшілік лауазымына
инфекцияның болуына
жәрдемдесудің белсенді
шараларына қатысуға
саласындағы дайындаушы
ленген қосылған
шегінде бюджетке
салығы шегінде
есептелген қосылған
ұйымдарға есептелген
дайындаушы ұйымдарға
кешен саласындағы
сомасын субсидиялау