Deleting String Rewriting Systems Preserve Regularity
A string rewriting system R is called deleting if there exists a partial ordering on its alphabet such that each letter in the right hand side of a rule is less than some letter in the corresponding left hand side. We show that the rewrite relation R* induced by R can be represented as the composition of a finite substitution (into an extended alphabet), a rewrite relation of an inverse context-free system (over the extended alphabet), and a restriction (to the original alphabet). Here, a system is called inverse context-free if |r| ≤ 1 for each rule ℓ → r. The decomposition result directly implies that deleting systems preserve regularity, and that inverse deleting systems preserve context-freeness. The latter result was already obtained by Hibbard [Hib74].
KeywordsRegular Language Canonical System Tree Automaton Pivot Rule Bubble Sort
Unable to display preview. Download preview PDF.
- [Büc89]J. Richard Büchi. Finite Automata, Their Algebras and Grammars — Towards a Theory of Formal Expressions. D. Siefkes (Ed.). Springer-Verlag, New York, 1989.Google Scholar
- [HW03]Dieter Hofbauer and Johannes Waldmann. Deleting string rewriting systems preserve regularity. Mathem. Schriften 07/03, Univ. Kassel, Germany, 2003.Google Scholar
- [Tis00]Sophie Tison. Tree automata and term rewrite systems. In Leo Bachmair (Ed.), Proc. 11th Int. Conf. Rewriting Techniques and Applications RTA-00, Lect. Notes Comp. Sci. Vol. 1833, pp. 27–30. Springer-Verlag, 2000.Google Scholar
- [Yu98]Sheng Yu. Regular languages. In G. Rozenberg and A. Salomaa (Eds.), Handbook of Formal Languages, Vol. 1, pp. 41–110. Springer-Verlag, 1998.Google Scholar