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