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