Chapter PDF
References
C. Beeri, An improvement on Valiant's decision procedure for equivalence of deterministic finite-tunn pushdown automata, TCS 3(1976) 305–320.
E.P. Friedman and S.A. Greibach, On equivalence and subclass containment problems for deterministic context-free languages, Info. Proc. Let. 7 (1978) 287–290.
S.A. Greibach, Linearity is polynomially decidable for realtime pushdown store automata, 42(1979), 27–37.
M.A. Harrison, I.M. Havel and A. Yehudai, On equivalence of grammars through transformation trees, TCS 9(1979), 173–205.
M.A. Harrison and A. Yehudai, A hierarchy of deterministic languages, JCSS 19(1979), 63–78.
Y. Itzhaik, Deterministic pushdown automata, Master Thesis, Technion, IIT, June 1978, (In Hebrew.)
Y. Itzhaik, On containment problems for finite-turn languages, in preparation, 1981.
Y. Itzhaik and A. Yehudai, Checking deterministic languages for the real time strict property, Submitted for publication (1980).
M. Oyamaguchi, N. Honda and Y. Inagaki, The equivalence problem for real-time strict deterministic languages, Info. Contr. 45(1980), 90–115.
M. Oyamaguchi, Y. Inagaki and N. Honda, The extended equivalence problems for some subclasses of deterministic pushdown automata, 1980.
E. Ukkonen, The equivalence problem for some non-real-time deterministic pushdown automata, Proceedings of the 12th STOC Conference (1980), 29–38.
L.G. Valiant, Regularity and related problems for deterministic pushdown automata, JACM 22(1975), 1–10.
L.G. Valiant, The equivalence problem for deterministic finite-turn pushdown automata, Info. Contr. 25, (1974), 123–133.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1981 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Itzhaik, Y. (1981). A decision procedure for the equivalence of two dpdas one of which is linear. In: Even, S., Kariv, O. (eds) Automata, Languages and Programming. ICALP 1981. Lecture Notes in Computer Science, vol 115. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10843-2_19
Download citation
DOI: https://doi.org/10.1007/3-540-10843-2_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10843-6
Online ISBN: 978-3-540-38745-9
eBook Packages: Springer Book Archive