Мартышкин, А. И.А. И.МартышкинТрокоз, Д. А.Д. А.Трокоз2020-11-052020-11-052020Мартышкин А. И. Обзор методов автоматного программирования / А. И. Мартышкин, Д. А. Трокоз // Современные инновационные технологии подготовки инженерных кадров для горной промышленности и транспорта 2020 : сб. науч. тр.. международной. конф., г. Днепр, 24‐25 апреля 2020 г.. – Днепр : НТУ «ДП», 2020. – С. 273-278.http://ir.nmu.org.ua/handle/123456789/156630В статье приведены теоретические сведения о теории автоматного программирования. Дается определение конечного автомата, детерминированного конечного автомата и недетерминированного конечного автомата. Проведен сравнительный анализ детерминированного конечного автомата и недетерминированного конечного автомата, на основании чего сделан вывод о параллелизме недетерминированного конечного автомата. Описываются основные способы задания и моделирования недетерминированного конечного автомата.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.ruтеория автоматовконечный автоматдетерминированный автоматнедетерминированный автоматпараллелизмспособы задания автоматовautomata theoryfinite automatadeterministic automatanondeterministic automataparallelismmethods for specifying automataArticle519.713