Теория автоматов и формальных языков. Лабораторная работа 1. Конечные автоматы.

Реализация и исследование детерминированных и недетерминированных
конечных автоматов.
1. Построить ДКА, допускающий в алфавите {0,1} множество цепочек, которые начинаются и/или оканчиваются последовательностью 01.
2. Построить НКА с количеством состояний, не превышающим 5, для языка
{abab^n : n ≥ 0} U {aba^n : n ≥ 0}.

1. Граф переходов ДКА, допускающий в алфавите {0,1} множество цепочек,
которые начинаются и/или оканчиваются последовательностью 01.
Проверка работы ДКА в программе JFLAP со случайными цепочками.
2. Граф НКА с количеством состояний, не превышающим 5, для языка
{abab^n : n ≥ 0} U {aba^n : n ≥ 0}.
Проверка работы НКА в программе JFLAP со случайными цепочками.

методические указания