PanLinx
русский
rus-000
автомат с ограничением по времени
English
eng-000
reduced-time automaton
PanLex