Bottom-up tree pushdown automata and rewrite systems

  • J-L. Coquidé
  • M. Dauchet
  • R. Gilleron
  • S. Vàgvölgyi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 488)


Studying connections between term rewrite systems and bottom-up tree pushdown automata (tpda), we complete and generalize results of Gallier, Book and K. Salomaa. We define the notion of tail reduction free rewrite systems (trf rewrite systems). Using the decidability of inductive reducibility (Plaisted), we prove the decidability of the trf property. Monadic rewrite systems of Book, Gallier and K. Salomaa become an obvious particular case of trf rewrite systems. We define also semi-monadic rewrite systems which generalize monadic systems but keep their fair properties. We discuss different notions of bottom-up tree pushdown automata, that can be seen as the algorithmic aspect of classes of problems specified by trf rewrite systems. Especially, we associate a deterministic tpda with any left-linear trf rewrite system.

Key words

Rewrite systems (=term rewrite systems) Church-Rosser (=confluent) systems Noetherian systems Convergent (=noetherian+confluent) systems (Deterministic) tree automaton with pushdown store (Recognizable, Context-free) tree languages 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    R.V. Book, M. Jantzen and C. Wrathall, Monadic Thue Systems, Theoret. Comput. Sci. 19 (3)(1982) 231–252.Google Scholar
  2. [2]
    R.V. Book, Thue systems as Rewriting Systems, J. of Symbolic Computation, 3, (1987).Google Scholar
  3. [3]
    R.V. Book and J.H. Gallier, Reductions in Tree Replacement Systems, Theoretical Computer Science, 37, (1985).Google Scholar
  4. [4]
    J.L.Coquidé, M.Dauchet, R.Gilleron and S.Vàgvölgyi, Bottom-up tree pushdown automata and rewrite systems, Technical Report, I.T 190, L.I.F.L, Université de Lille.Google Scholar
  5. [5]
    J.L.Coquidé and R.Gilleron, Proofs and Reachability Problem for Rewrite Systems, IMYCS, to appear in Lec. Notes Comp. Sci, (1989).Google Scholar
  6. [6]
    M. Dauchet and S.Tison, Decidability of Confluence in Ground Term Rewriting Systems, Fondations of Computation Theory, Cottbus, Lec. Notes Comp. Sci., 199, (1985)Google Scholar
  7. [7]
    M.Dauchet and S. Tison, The theory of Ground Rewrite System is Decidable, IEEE Symposium on Logic in Computer Science, Philadelphie, to appear, (1990)Google Scholar
  8. [8]
    N.Dershowitz and J.P. Jouannaud, Rewrite systems, Handbook of Theoretical Computer Science, J.V.Leeuwen editor, North-Holland, to appear.(1989).Google Scholar
  9. [9]
    Z. Fülöp and S. Vàgvölgyi, Ground Term Rewriting rules for the Word Problem of Ground Term Equations, submitted paper, (1989).Google Scholar
  10. [10]
    J.H. Gallier and K.M. Schimpf, Parsing Tree Languages using Bottom-up Tree Automata with Tree Pushdown Stores, J. Computer Science, (1985).Google Scholar
  11. [11]
    F. Gecseg and M. Steinby, Tree automata, Akademiai Kiado, (1984).Google Scholar
  12. [12]
    J. Goguen, J.W. Thatcher, E. Wagner and E. Wright, An initial algebra approach to the specification correctness, and implementation of abstract data types, in: Current Trends in Programming Methodology Vol. 4 (Prentice-Hall, Englewood Cliffs, NJ, 1977) 80–149.Google Scholar
  13. [13]
    I. Guessarian, Pushdown Tree Automata, Math. Systems Theory, 16, (1983).Google Scholar
  14. [14]
    G. Huet, Confluent Reductions: Abstract properties and applications to Term Rewriting System, J.A.C.M., 27, (1980).Google Scholar
  15. [15]
    G.Huet and J-J. Levy, Call by need Computation in non-ambiguous linear Term Rewriting Systems, TR359, I.N.R.I.A., Le Chesnay, France, (1979).Google Scholar
  16. [16]
    G.Huet and D.C. Oppen, Equations and Rewrite Rules: A survey, in R.V.Book, ed., New York, Academic Press, Formal Language Theory: Perspectives and Open Problems, (1980).Google Scholar
  17. [17]
    D.A. Plaisted, Semantic Confluence Tests and Completion Methods, Information and Control, 65, (1985).Google Scholar
  18. [18]
    K. Salomaa, Deterministic Tree Pushdown Automata and Monadic Tree Rewriting Systems, Journal of Comput. and Syst. Sci., 37, (1988).Google Scholar
  19. [19]
    K.M. Schimpf, A Parsing Method for Context-free Tree Languages, Ph.D., Univ. of Pennsylvania, (1982).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • J-L. Coquidé
    • 1
  • M. Dauchet
    • 1
  • R. Gilleron
    • 2
  • S. Vàgvölgyi
    • 3
  1. 1.LIFL, URA 369 CNRS, IEEA Université de Lille IVilleneuve d'Ascq CedexFrance
  2. 2.LIFL, URA 369 CNRS, IUT A Université de Lille IVilleneuve d'Ascq CedexFrance
  3. 3.Research Group on Theory of AutomataHungarian Academy of SciencesSzegedHungary

Personalised recommendations