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