маленькая безделица
Пример (a|b)*abb взят из Дракона. Вывод:

  1 -a->  10
  1 -b->  11
 13 -a->  10
 13 -b->   1
 10 -a->  10
 10 -b->  13
 11 -a->  10
 11 -b->  11
  0 -a->  10
  0 -b->  11

Время компиляции приемлимое (правда кое что пришлось пооптимизировать)
Just for fun