Algebra, Automata, and Computation

  • Alexander Meduna
  • Ondřej Soukup


Traditionally, from an algebraic viewpoint, automata work over free monoids. The present chapter, however, modifies this standard approach so they work over other algebraic structures. More specifically, this chapter discusses a modification of pushdown automata that is based on two-sided pushdowns into which symbols are pushed from both ends.


  1. [ABB97]
    J. Autebert, J. Berstel, L. Boasson, (eds.), Context-Free Languages and Pushdown Automata, in Handbook of Formal Languages, chapter 3 (Springer, Berlin, 1997), pp. 111–174Google Scholar
  2. [Cou77]
    B. Courcelle, On jump deterministic pushdown automata. Math. Syst. Theory 11, 87–109 (1977)MathSciNetCrossRefMATHGoogle Scholar
  3. [GGH67]
    S. Ginsburg, S.A. Greibach, M. Harrison, One-way stack automata. J. ACM 14(2), 389–418 (1967)MathSciNetCrossRefMATHGoogle Scholar
  4. [Gre69]
    S.A. Greibach, Checking automata and one-way stack languages. J. Comput. Syst. Sci. 3, 196–217 (1969)MathSciNetCrossRefMATHGoogle Scholar
  5. [GS68]
    S. Ginsburg, E. Spanier, Finite-turn pushdown automata. SIAM J. Control 4, 429–453 (1968)MathSciNetCrossRefMATHGoogle Scholar
  6. [KM00]
    D. Kolář, A. Meduna, Regulated pushdown automata. Acta Cybernetica 2000(4), 653–664 (2000)MathSciNetMATHGoogle Scholar
  7. [Med00a]
    A. Meduna, Automata and Languages: Theory and Applications (Springer, London, 2000)CrossRefMATHGoogle Scholar
  8. [Med03c]
    A. Meduna, Simultaneously one-turn two-pushdown automata. Int. J. Comput. Math. 2003(80), 679–687 (2003)MathSciNetCrossRefMATHGoogle Scholar
  9. [Sar01]
    P. Sarkar, Pushdown automaton with the ability to flip its stack, in TR01-081, Electronic Colloquium on Computational Complexity (ECCC), 2001Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Alexander Meduna
    • 1
  • Ondřej Soukup
    • 2
  1. 1.Department of Computer ScienceBrno University of TechnologyBrnoCzech Republic
  2. 2.Department of Information TechnologyBrno University of TechnologyBrnoCzech Republic

Personalised recommendations