Preview
Unable to display preview. Download preview PDF.
References
J.-M. Autebert ‘Langages algébriques', Ed. Masson.
J.C.M. Baeten, J.A. Bergstra, J.W. Klop ‘Decidability of bisimulation equivalence for processes generating context-free languages', LNCS 259, pp 94–111.
M. Bauderon, ‘On systems of equations defining infinite graphs', LNCS 344, pp 54–73.
M. Bauderon, ‘Infinite hypergraphs: basic properties and systems of equations’, Internal report I-8920.
J. Berstel ‘Transductions and context-free languages', Ed. Teubner.
L. Boasson, M. Nivat ‘Centers of context-free languages', Report LITP 84-44.
R. Büchi ‘Regular canonical systems', Archiv für Mathematische Logik und Grundlagenforschung 6, pp 91–111.
D. Caucal ‘Récritures suffixes de mots', Report Inria 871.
D. Caucal ‘On the regular structure of prefix rewriting', Internal report 507.
B. Courcelle ‘The monadic second-order logic of graphs, II: Infinite graphs of bounded width', Math. Syst. Theory 21, pp 187–222.
B. Courcelle ‘The definability of equational graphs in monadic second-order logic', Icalp, LNCS 372, pp 207–221.
M. Dauchet, S. Tison, T. Heuillard, P. Lescanne ‘The confluence of ground term rewriting systems is decidable’ Preliminary proceeding of the conference on resolution of equations in algebraic structures. Austin.
A. Habel, H.J. Kreowski 'some structural aspects of hypergraph languages generated by hyperedge replacement', LNCS 247, pp 207–219.
G. Huet, D. Lankford ‘On the uniform halting problem for term rewriting systems’ Report INRIA 283.
D. Muller, P. Schupp ‘The theory of ends, pushdown automata, and second order logic', TCS 37, pp 51–75.
G. Nelson, D. Oppen ‘Fast decision procedures based on congruence closure’ JACM 27-2, pp 356–364.
J. Sakarovitch 'syntaxe des langages de Chomsky. Essai sur le déterminisme', Thèse d'état, LITP.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Caucal, D. (1990). On the regular structure of prefix rewriting. In: Arnold, A. (eds) CAAP '90. CAAP 1990. Lecture Notes in Computer Science, vol 431. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52590-4_42
Download citation
DOI: https://doi.org/10.1007/3-540-52590-4_42
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52590-5
Online ISBN: 978-3-540-47042-7
eBook Packages: Springer Book Archive