PanLinx
русский
rus-000
алгебра состояний
English
eng-000
state algebra
PanLex