> -- igor писал(а):
> Такое решение наверно имеет право на жизнь, но мне оно не нравится. И вот почему. Существует много различных типов автоматов: Мили, Мура, магазинные ... К тому же, автоматы могут быть вложенными, и вообще в сложных случаях представлять собой некую структурную композицию.Неужели Вы будете вводить отдельный супер-оператор для каждого типа автомата?

Если Вы внимательно посмотрите на предложенный синтаксис, то увидите, что он универсален и позволяет запрограммировать как автомат Мили, так и автомат Мура. Для этого достаточно заполнить ветви соответствующие состояниям или переходам. А можно и гибрид сделать.