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 by rewrite closure with inverse-monadic rules. We also extend the parameterized rewriting rules used for modeling the W3C XQuery Update Facility in previous works, by the possibility to insert a new parent node above a given node. We show that the rewrite closure of hedge automata languages with these extended rewriting systems are context-free hedge languages. © 2013 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Jacquemard, F., & Rusinowitch, M. (2013). Rewrite closure and CF hedge automata. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7810 LNCS, pp. 371–382). Springer Verlag. https://doi.org/10.1007/978-3-642-37064-9_33
Mendeley helps you to discover research relevant for your work.