PanLinx
русский
rus-000
конечный след
English
eng-000
finite trace
PanLex