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