1 paper
Ricardo Manuel de Oliveira Almeida
We introduce saturation of nondeterministic tree automata, a technique that consists of adding new transitions to an automaton while preserving its language. We implemented our alg…