Rewrite Closure and CF Hedge Automata

Florent Jacquemard, Michael Rusinowitch

We introduce an extension of hedge automata called bidimensional context-free hedge automata. The class of unranked ordered tree languages they recognize is shown to be preserved b…