PanLinx
русский
rus-000
автомат со многими выходами
English
eng-000
multioutput automaton
PanLex
