Автоматное программирование - это парадигма компьютерного программирования, которая рассматривает разделы программы как конечные автоматы. Каждый автомат может делать один «шаг» за раз, и выполнение программы разбивается на отдельные шаги. Шаги связываются друг с другом, изменяя значение переменной, представляющей «состояние», и поток управления программы определяется значением этой переменной.

Переменная «состояние» может представлять собой простой тип данных enum, но могут использоваться более сложные структуры данных. Обычный метод заключается в создании таблицы перехода состояний, двумерного массива, содержащего строки, представляющие каждое возможное состояние, и столбцы, представляющие входной параметр. Значение таблицы, где встречаются строка и столбец, является следующим состоянием, в которое машина должна перейти, если оба условия соблюдены.

Конечный автомат, ввод, парадигма, условия программирования