Advertisement

Non-self-embedding Grammars, Constant-Height Pushdown Automata, and Limited Automata

  • Bruno Guillon
  • Giovanni Pighizzini
  • Luca Prigioniero
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10977)

Abstract

Non-self-embedding grammars are a restriction of context-free grammars which does not allow to describe recursive structures and, hence, which characterizes only the class of regular languages. A double exponential gap in size from non-self-embedding grammars to deterministic finite automata is known. The same size gap is also known from constant-height pushdown automata and 1-limited automata to deterministic finite automata. Constant-height pushdown automata and 1-limited automata are compared with non-self-embedding grammars. It is proved that non-self-embedding grammars and constant-height pushdown automata are polynomially related in size. Furthermore, a polynomial size simulation by 1-limited automata is presented. However, the converse transformation is proved to cost exponential.

References

  1. 1.
    Anselmo, M., Giammarresi, D., Varricchio, S.: Finite automata and non-self-embedding grammars. In: Champarnaud, J.-M., Maurel, D. (eds.) CIAA 2002. LNCS, vol. 2608, pp. 47–56. Springer, Heidelberg (2003).  https://doi.org/10.1007/3-540-44977-9_4CrossRefzbMATHGoogle Scholar
  2. 2.
    Bednárová, Z., Geffert, V., Mereghetti, C., Palano, B.: Removing nondeterminism in constant height pushdown automata. Inf. Comput. 237, 257–267 (2014)MathSciNetCrossRefGoogle Scholar
  3. 3.
    Chomsky, N.: On certain formal properties of grammars. Inf. Control 2(2), 137–167 (1959)MathSciNetCrossRefGoogle Scholar
  4. 4.
    Chomsky, N.: A note on phrase structure grammars. Inf. Control 2(4), 393–395 (1959)MathSciNetCrossRefGoogle Scholar
  5. 5.
    Geffert, V., Mereghetti, C., Palano, B.: More concise representation of regular languages by automata and regular expressions. Inf. Comput. 208(4), 385–394 (2010)MathSciNetCrossRefGoogle Scholar
  6. 6.
    Hibbard, T.N.: A generalization of context-free determinism. Inf. Control 11(1/2), 196–238 (1967)MathSciNetCrossRefGoogle Scholar
  7. 7.
    Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 2nd edn. Addison-Wesley-Longman, Reading (2001)zbMATHGoogle Scholar
  8. 8.
    Kelemenová, A.: Complexity of normal form grammars. Theor. Comput. Sci. 28, 299–314 (1984)MathSciNetCrossRefGoogle Scholar
  9. 9.
    Kutrib, M., Wendlandt, M.: On simulation cost of unary limited automata. In: Shallit, J., Okhotin, A. (eds.) DCFS 2015. LNCS, vol. 9118, pp. 153–164. Springer, Cham (2015).  https://doi.org/10.1007/978-3-319-19225-3_13CrossRefzbMATHGoogle Scholar
  10. 10.
    Mereghetti, C., Pighizzini, G.: Two-way automata simulations and unary languages. J. Automata Lang. Comb. 5(3), 287–300 (2000)MathSciNetzbMATHGoogle Scholar
  11. 11.
    Ogden, W.F., Ross, R.J., Winklmann, K.: An “interchange lemma” for context-free languages. SIAM J. Comput. 14(2), 410–415 (1985)MathSciNetCrossRefGoogle Scholar
  12. 12.
    Pighizzini, G.: Deterministic pushdown automata and unary languages. Int. J. Found. Comput. Sci. 20(4), 629–645 (2009)MathSciNetCrossRefGoogle Scholar
  13. 13.
    Pighizzini, G., Pisoni, A.: Limited automata and regular languages. Int. J. Found. Comput. Sci. 25(7), 897–916 (2014)MathSciNetCrossRefGoogle Scholar
  14. 14.
    Pighizzini, G., Prigioniero, L.: Limited automata and unary languages. In: Charlier, É., Leroy, J., Rigo, M. (eds.) DLT 2017. LNCS, vol. 10396, pp. 308–319. Springer, Cham (2017).  https://doi.org/10.1007/978-3-319-62809-7_23CrossRefGoogle Scholar
  15. 15.
    Pighizzini, G., Prigioniero, L.: Non-self-embedding grammars and descriptional complexity. NCMA 2017, 197–209 (2017)zbMATHGoogle Scholar
  16. 16.
    Wagner, K.W., Wechsung, G.: Computational Complexity. D. Reidel Publishing Company, Dordrecht (1986)zbMATHGoogle Scholar

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  • Bruno Guillon
    • 1
  • Giovanni Pighizzini
    • 1
  • Luca Prigioniero
    • 1
  1. 1.Dipartimento di InformaticaUniversità degli Studi di MilanoMilanItaly

Personalised recommendations