PanLinx
русский
rus-000
конечный входящий поток
English
eng-000
finite input
PanLex