Обзор методов автоматного программирования

В статье приведены теоретические сведения о теории автоматного программирования. Дается определение конечного автомата, детерминированного конечного автомата и недетерминированного конечного автомата. Проведен сравнительный анализ детерминированного конечного автомата и недетерминированного конечного автомата, на основании чего сделан вывод о параллелизме недетерминированного конечного автомата. Описываются основные способы задания и моделирования недетерминированного конечного автомата.

The article provides theoretical information about the theory of automatic programming. We define a finite automaton, a deterministic finite automaton, and a nondeterministic finite automaton. Comparative analysis of deterministic finite state machine and nondeterministic finite auto Mata, based on what conclusion is made about concurrency automaton. The main methods of defining and modeling a nondeterministic finite state machine are described.