Generalized Models

  • Alexander Meduna


This chapter generalizes the finite automaton, the pushdown automaton, and the context-free grammar. Section 8.1 generalizes the finite automaton to the Turing machine. The tape of the Turing machine is potentially infinite to the right. The tape head shifts in either direction on the tape, and during these shifts, the head not only reads but also writes symbols. The Turing machine represents a central model used in computational theory, including all the crucial topics discussed in Chapter 10. Section 8.2 generalizes the pushdown automaton to the two pushdown automaton. As its name indicates, the two-pushdown automaton possesses two, rather than one, pushdowns. Section 8.3 generalizes the context-free grammar to the unrestricted grammar. The left-hand side of every production in the unrestricted grammar is a word, consisting of several symbols. Section 8.4 demonstrates that these three generalized models characterize the family of recursively enumerable languages, which properly contains the family of context-free languages.


Turing Machine Input Word Rule Word Universal Turing Machine Pushdown Automaton 
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.

Copyright information

© Springer-Verlag London Limited 2000

Authors and Affiliations

  • Alexander Meduna
    • 1
  1. 1.Department of Computer Science and EngineeringTechnical University of BrnoBrnoCzech Republic

Personalised recommendations