PanLinx
English
eng-000
arbitrary automaton
русский
rus-000
произвольный автомат
PanLex
