Автоматы Вагнеров 003 Конечный автомат — это модель поведения; Как правило, он моделирует систему управления, которая должна контролировать приложение. Машина принятия решений, которая генерирует сигналы, представляющие действия: сделай это или сделай это. Конечный автомат стимулируется входными данными, которые представляют собой доступные знания об управляемом приложении. Любая проблема управления может иметь несколько решений. Точно такой же контроль может быть достигнут несколькими моделями конечного автомата. За исключением тривиальных случаев, трудно или невозможно доказать, что один конечный автомат лучше другого (какие критерии мы могли бы использовать?)...

Перевод заметки о конечных автоматах