An implementation for solving the equivalence problem for linear tree-to-word transducers from the field of automaton theory.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool