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