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