Abstract
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].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Jean Berstel. Transductions and Context-Free Languages. Teubner, Stuttgart, 1979.
J. Richard Büchi and William H. Hosken. Canonical systems which produce periodic sets. Math. Syst. Theory, 4:81–90, 1970.
Ronald V. Book, Matthias Jantzen, and Celia Wrathall. Monadic Thue systems. Theoret. Comput. Sci., 19:231–251, 1982.
Ronald V. Book and Friedrich Otto. String-Rewriting Systems. Texts and Monographs in Computer Science. Springer-Verlag, New York, 1993.
J. Richard Büchi. Regular canonical systems. Arch. Math. Logik und Grundlagenforschung, 6:91–111, 1964.
J. Richard Büchi. Finite Automata, Their Algebras and Grammars — Towards a Theory of Formal Expressions. D. Siefkes (Ed.). Springer-Verlag, New York, 1989.
Nachum Dershowitz and Zohar Manna. Proving termination with multiset orderings. Commun. ACM, 22(8):465–476, 1979.
Roland Fraïssé. Theory of Relations, volume 118 of Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam, 1986.
Seymour Ginsburg and Sheila A. Greibach. Mappings which preserve context sensitive languages. Inform. and Control, 9(6):563–582, 1966.
Thomas N. Hibbard. Context-limited grammars. J. ACM, 21(3):446–453, 1974.
Dieter Hofbauer and Johannes Waldmann. Deleting string rewriting systems preserve regularity. Mathem. Schriften 07/03, Univ. Kassel, Germany, 2003.
M. I. Kratko. A class of Post calculi. Soviet Math. Doklady, 6(6):1544–1545, 1965.
Friedrich Otto. Some undecidability results concerning the property of preserving regularity. Theoret. Comput. Sci., 207:43–72, 1998.
Emil L. Post. Formal reductions of the general combinatorial decision problem. Amer. J. Math., 65:197–215, 1943.
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.
Sheng Yu. Regular languages. In G. Rozenberg and A. Salomaa (Eds.), Handbook of Formal Languages, Vol. 1, pp. 41–110. Springer-Verlag, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hofbauer, D., Waldmann, J. (2003). Deleting String Rewriting Systems Preserve Regularity. In: Ésik, Z., Fülöp, Z. (eds) Developments in Language Theory. DLT 2003. Lecture Notes in Computer Science, vol 2710. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45007-6_27
Download citation
DOI: https://doi.org/10.1007/3-540-45007-6_27
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40434-7
Online ISBN: 978-3-540-45007-8
eBook Packages: Springer Book Archive