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