Сложно сказать какой процент программистов с ней знаком и ещё сложнее сказать, кто её использует на практике. Помнится, когда мы проходили это в институте и решали малопонятные задачки, казалось, что это как-то абстрактно и далеко от нас...

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