PanLinx
русский
rus-000
ограниченный автомат
English
eng-000
bounded automaton
English
eng-000
restricted automaton
PanLex