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