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