PanLinx
English
eng-000
counting automaton
русский
rus-000
считающий автомат
PanLex