PanLinx
русский
rus-000
конечный автомат с расширенной логикой
English
eng-000
EFSM
PanLex