Автоматное программирование (Н. Поликарпова, А. Шалыто)

Предметом этой книги является парадигма автоматного программирования. Авто-
матное программирование, иначе называемое «программирование от состояний»,
или «программирование с явным выделением состояний», — это метод разработки
программного обеспечения (ПО), основанный на расширенной модели конечных автоматов и ориентированный на создание широкого класса приложений. Вопреки распространенному мнению, здесь речь идет не только и не столько об использовании конечных автоматов в программировании, сколько о методе создания программ
в целом, поведение которых описывается автоматами.