PanLinx
русский
rus-000
инициальный автомат
English
eng-000
initial automaton
PanLex
