PanLinx
русский
rus-000
не полностью определенный конечный автомат
English
eng-000
ISSM
PanLex