Теория автоматов и формальных языков
Преподаватель
дисциплины:
Кушнир
Надежда
Владимировна
Выполнил:
Студент группы 17-КБ-ПР1
Желябин Григорий
Игоревич
Порядок выполнения работы:
прочитать описание работы;
получить задание у преподавателя;
разработать программу, реализующую конечный автомат по за-данной форме с
отражением исследуемых свойств КА;
модифицировать программу для заданного ряда частичных авто-матов (КА),
идентифицировать реализованные КА.
1.
2.
3.
4.
5.
6.
Дать определение автоматного отображения КА.
Какие состояния КА называются достижимыми?
Дать определение сильно связанного КА.
Дать определение автономного КА.
Чем определяется условие полноты КА?
Дать характеристику двух видов частичных КА.
1.
2.
3.
4.
5.
Автоматное отображение – Для КА его функции f и g могут быть определены не
только на множестве А всех входных букв, но и на множестве всех входных слов. Для
любого входного слова uj=aj1 aj2...ajk f(qi, aj1...ajk)=f(f(...f(qi, aj1), aj2),...ajk-1), ajk).
Достижимые состояния – состояние qi называется достижимым из состояния qj, если
существует входное слово u, такое, что f(qj, u)=qi.
Сильно связанный КА – автомат S называется сильно связанным, если из любого его
состояния достижимо любое другое состояние.
Автономный КА – автомат называется автономным, если его входной алфавит состоит
из одной буквы A={a}. Все входные слова КА имеют вид ааа...аааа.
Условие полноты – для любой входной буквы aj имеется ребро, выходящее из qi, на
котором написано aj.
