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