Nondeterministic finite tree automaton

Redirect to:

  • Tree automaton