PanLinx
русский
rus-000
конечный оператор
English
eng-000
terminal statement
PanLex