Acta Informatica

, Volume 25, Issue 2, pp 203–231 | Cite as

Recording the use of memory in right-boundary grammars and push-down automata

  • A. Ehrenfeucht
  • H. J. Hoogeboom
  • G. Rozenberg


Within the framework of coordinated pair systems a push-down automaton A is formalized as an ordered pair (G1, G2) of grammars, where G1 is a right-linear grammar modelling the finite state control of A and the reading of the input of A, and G2 is a right-boundary grammar modelling the push-down store of A. In this paper we present a systematic investigation into the use of memory of right-boundary grammars. Various methods of recording the use of memory are introduced. The results presented concern regularity properties of each of the methods and the interrelationships of the records obtained by different methods. Finally the translation of these results to the level of push-down automata (coordinated pair systems) is discussed.


Information System Operating System Data Structure Communication Network Information Theory 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Büchi, J.R.: Regular canonical systems. Arch. Math. Logik Grundlagenforsch. 6, 91–111 (1964)MathSciNetCrossRefGoogle Scholar
  2. 2.
    Ehrenfeucht, E., Hoogeboom, H.J., Rozenberg, G.: On the active and full use of memory in right-boundary grammars and push-down automata. Theor. Comput. Sci. 48, 201–228 (1986)MathSciNetCrossRefGoogle Scholar
  3. 3.
    Harrison, M.: Introduction to formal language theory, Reading, MA: Addison-Wesley 1978zbMATHGoogle Scholar
  4. 4.
    Rozenberg, G.: On coordinated selective substitutions: towards a unified theory of grammars and machines. Theor. Comput. Sci. 37, 31–50 (1985)MathSciNetCrossRefGoogle Scholar
  5. 5.
    Salomaa, A.: Formal languages, London-New York: Academic Press 1973zbMATHGoogle Scholar

Copyright information

© Springer-Verlag 1988

Authors and Affiliations

  • A. Ehrenfeucht
    • 2
  • H. J. Hoogeboom
    • 1
  • G. Rozenberg
    • 1
  1. 1.Department of Computer ScienceRijksuniversiteit LeidenRA LeidenThe Netherlands
  2. 2.Department of Computer ScienceUniversity of Colorado at BoulderBoulderUSA

Personalised recommendations