PanLinx
русский
rus-000
конечный алгоритм
English
eng-000
terminating algorithm
PanLex
