Есть ДКА(детерминированный конечный автомат), собираюсь генерировать из него статический код(я.п. С++ если что).
Кто-нибудь сталкивался с подобной задачей?
Что будет оптимальнее - switch, goto или ...? для реализации автомата.
Просмотрел сгенерированные файлы bison'а, там используется switch вперемешку с goto, в ANTLR'е только switch(насколько я знаю в java нету goto, зато исключения там встречаются чуть ли не на каждом шагу).
Хотелось бы увидеть несложный пример алгоритма построения автомата из ДКА на основе(switch, goto или ...).
   спасибо.

Это сообщение отредактировал(а) rudvil - 12.3.2011, 16:46

Лучше switch.

Если получится путанная система, придётся юзать goto.

Лучше всего каждый раз проверять количество переходов. Если оно больше какого-то n, лучше использовать look-up table. То есть записать адреса переходов в таблицу по индексу-байту: если на входе байт b, то идем в look-up table[b]. Switch плох тем, что branch prediction процессора будет почти всегда miss-ить тем самым снижая производительность. 
antlr работает в два раза медленнее flex-а. Кстати, непонятно причем тут бизон, ведь он - парсер и там никаких ДКА нету (ну если ты не имеешь в виду LR*).

А вообще с т.з. производительности - переплюнуть flex от сложно до невозможно. Думаю копать надо в сторону утилизации multicore.

Я тоже пока думаю о switch'е, т.к. его реализация кажется самой простой.

За разьяснения спасибо, а насчет производительности - куда уж мне до flex'а и antlr'а, их я брал только как примеры реализаций, не более.
Про bisona, извиняйте что сразу не сказал - я пишу генератор парсера из EBNF грамматики, поэтому и написал о нем.

Насчет branch prediction, правила в грамматике обычно небольшие(если такие и будут то можно выводить warning пользователю), так-что разбив все правила на методы - их switch'и будут относительно небольшими.

з.ы. для начала хотелось бы заставить все это "заработать", так как надо  , а потом уже думать о производительности и оптимизации... об этом чуть позже   

Это сообщение отредактировал(а) rudvil - 16.3.2011, 16:44

Это задумывается как проект "для себя"? Кстати, есть один лексер, который работает ровно в два раза быстрее флекса - RE2C. Но он использует всякие хитрости.

Да.

Во всяком случае пока код в порядок не приведу, то точно для себя, а то стыдно за этот ужос