Здравствуйте, Marty, Вы писали:
M>Ковыряю генератор ДКА. Думаю, как описывать переходы между состояниями. Пока надумал примерно так:
Переходы между состояниями ДКА обычно происходят в ответ на некие события.
Вопрос, что представляют из себя твои события? Потому что, например, если ДКА реализует регулярное выражения, то события умещаются в один байт, и таблицу удобно хранить в виде таблицы переходов фиксированного размера, которая индексируются этим самым байтом.
M>Синтаксис описания переходов:
M>СписокИсхСостояний : СписокСобытий -> ЦелевоеСостояние [? ДопУсловие] [- Описание];
У меня есть смутное ощущение, что ДопУсловие ничего содержательно не добавляет, и только усложняет твою машинерию.
