Preview
Unable to display preview. Download preview PDF.
References
Friedman, E. P., The inclusion problem for simple languages, Theoret. Comput. Sci. 1 (1976) 297–316.
Harrison, M. A. and Havel, I. M., Strict deterministic grammars, J. Comput. System. Sci. 7 (1973) 237–277.
Jaffe, V. A., Two classes of CF-languages with a solvable equivalence problem, Kibernetika, Kiev, 2 (1974) 89–93.
Korenjak, A. J. and Hopcroft, J. E., Simple deterministic languages, IEEE Conf. Record of 7th Annual Symp. on Switching and Automata Theory (1966) 36–46.
Kriegel, H. P. and Maurer, H. A., Formal translations and Szilard languages, Information and Control 30 (1976) 187–198.
Kriegel, H. P. and Ottmann, Th., Left-fitting translations, manuscript (1976).
Moriya, E., The associate language and the derivation properties of formal grammars, Information and Control 22 (1973) 139–162.
Penttonen, M., On derivation languages corresponding to context-free grammars, Acta Informatica 3 (1974) 285–291.
Rosenkranz, D. J. and Stearns, R. E., Properties of deterministic top-down grammars, Information and Control 17 (1970) 226–255.
Taniguchi, K. and Kasami, T., A result on the equivalence problem for deterministic pushdown automata, J. Comput. System. Sci. 13 (1976) 38–50.
Valiant, L. G., Decision problems for families of deterministic pushdown automata, Univ. of Warwick Computer Centre, Report No.7, 1973.
Valiant, L. G., The equivalence problem for deterministic finite-turn pushdown automata, Information and Control 25 (1974) 123–133.
Valiant, L. G. and Paterson, M. S., Deterministic one-counter automata, J. Comput. System. Sci. 10 (1975) 340–350.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1977 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Linna, M. (1977). Two decidability results for deterministic pushdown automata. In: Gruska, J. (eds) Mathematical Foundations of Computer Science 1977. MFCS 1977. Lecture Notes in Computer Science, vol 53. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08353-7_157
Download citation
DOI: https://doi.org/10.1007/3-540-08353-7_157
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08353-5
Online ISBN: 978-3-540-37285-1
eBook Packages: Springer Book Archive