Abstract
We describe a general decomposition mechanism to express the derivation relation of a word rewriting system R as the composition of a (regular) substitution followed by the derivation relation of a system R′ ∪ D, where R′ is a strict sub-system of R and D is the Dyck rewriting system. From this decomposition, we deduce that the system R (resp. R − 1) preserves regular (resp. context-free) languages whenever R′ ∪ D (resp. its inverse) does. From this we can deduce regularity and context-freeness preservation properties for a generalization of tagged bifix systems.
Chapter PDF
Similar content being viewed by others
References
Altenbernd, J.: On bifix systems and generalizations. In: Martín-Vide, C., Otto, F., Fernau, H. (eds.) LATA 2008. LNCS, vol. 5196, pp. 40–51. Springer, Heidelberg (2008)
Altenbernd, J.: Reachability over word rewriting systems. Ph.D. Thesis, RWTH Aachen, Germany (2009)
Benois, M.: Parties rationnelles du groupe libre. C.R. Académie des Sciences, Série A 269, 1188–1190 (1969)
Berstel, J.: Transductions and context-free languages. Teubner, Stuttgart (1979)
Book, R., Jantzen, M., Wrathall, C.: Monadic thue systems. Theoretical Computer Science 19, 231–251 (1982)
Book, R., Otto, F.: String-rewriting systems. Texts and Monographs in Computer Science. Springer, Heidelberg (1993)
Bouajjani, A., Müller-Olm, M., Touili, T.: Regular symbolic analysis of dynamic networks of pushdown systems. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol. 3653, pp. 473–487. Springer, Heidelberg (2005)
Büchi, R.: Regular canonical systems. Archiv für Mathematische Logik und Grundlagenforschung 6, 91–111 (1964)
Caucal, D.: On the regular structure of prefix rewriting. Theoretical Computer Science 106, 61–86 (1992); originally published In: Arnold, A. (ed.) CAAP 1990. LNCS, vol. 431, pp. 61–86. Springer, Heidelberg (1990)
Endrullis, J., Hofbauer, D., Waldmann, J.: Decomposing terminating rewrite relations. In: Geser, A., Sondergaard, H. (eds.) Proc. 8th WST, pp. 39–43 (2006), http://www.acm.org/corr/ , Computing Research Repository
Geser, A., Hofbauer, D., Waldmann, J.: Match-bounded string rewriting systems. Applicable Algebra in Engineering, Communication and Computing 15, 149–171 (2004)
Hibbard, T.: Context-limited grammars. JACM 21(3), 446–453 (1974)
Hofbauer, D., Waldmann, J.: Deleting string rewriting systems preserve regularity. Theoretical Computer Science 327, 301–317 (2004); originally published In: Ésik, Z., Fülöp, Z. (eds.) DLT 2003. LNCS, vol. 2710, pp. 301–317. Springer, Heidelberg (2003)
Jantzen, M., Kudlek, M., Lange, K.J., Petersen, H.: Dyck1-reductions of context-free languages. In: Budach, L., Bakharajev, R., Lipanov, O. (eds.) FCT 1987. LNCS, vol. 278, pp. 218–227. Springer, Heidelberg (1987)
Karhumäki, J., Kunc, M., Okhotin, A.: Computing by commuting. Theoretical Computer Science 356, 200–211 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Caucal, D., Dinh, T.H. (2011). Regularity and Context-Freeness over Word Rewriting Systems. In: Hofmann, M. (eds) Foundations of Software Science and Computational Structures. FoSSaCS 2011. Lecture Notes in Computer Science, vol 6604. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-19805-2_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-19805-2_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-19804-5
Online ISBN: 978-3-642-19805-2
eBook Packages: Computer ScienceComputer Science (R0)