Синтез конечного распознающего автомата

Построение недетерминированного конечного автомата.Преобразование недетерминированного конечного автомата в детерминированный.Программная реализация конечного автомата.Построение автоматной грамматики по праволинейной.Минимизация числа состояний автомата.Использование сетей Петри при переходе от грамматики к минимальному автомату.Теория вычислительных процессов и структур.Построение праволинейной грамматики.