PanLinx
English
eng-000
reducible automaton
русский
rus-000
приводимый автомат
PanLex
