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