PanLinx
русский
rus-000
конечный алфавит
English
eng-000
finite alphabet
PanLex
