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