A decision procedure for the equivalence of two dpdas one of which is linear

Extended abstract
  • Yair Itzhaik
Session 7: G. Rozenberg, Chairman
Part of the Lecture Notes in Computer Science book series (LNCS, volume 115)


  1. [B]
    C. Beeri, An improvement on Valiant's decision procedure for equivalence of deterministic finite-tunn pushdown automata, TCS 3(1976) 305–320.Google Scholar
  2. [FG]
    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.Google Scholar
  3. [G]
    S.A. Greibach, Linearity is polynomially decidable for realtime pushdown store automata, 42(1979), 27–37.Google Scholar
  4. [HHY]
    M.A. Harrison, I.M. Havel and A. Yehudai, On equivalence of grammars through transformation trees, TCS 9(1979), 173–205.Google Scholar
  5. [HY]
    M.A. Harrison and A. Yehudai, A hierarchy of deterministic languages, JCSS 19(1979), 63–78.Google Scholar
  6. [I1]
    Y. Itzhaik, Deterministic pushdown automata, Master Thesis, Technion, IIT, June 1978, (In Hebrew.)Google Scholar
  7. [I2]
    Y. Itzhaik, On containment problems for finite-turn languages, in preparation, 1981.Google Scholar
  8. [IY]
    Y. Itzhaik and A. Yehudai, Checking deterministic languages for the real time strict property, Submitted for publication (1980).Google Scholar
  9. [OHI]
    M. Oyamaguchi, N. Honda and Y. Inagaki, The equivalence problem for real-time strict deterministic languages, Info. Contr. 45(1980), 90–115.Google Scholar
  10. [OIH]
    M. Oyamaguchi, Y. Inagaki and N. Honda, The extended equivalence problems for some subclasses of deterministic pushdown automata, 1980.Google Scholar
  11. [U]
    E. Ukkonen, The equivalence problem for some non-real-time deterministic pushdown automata, Proceedings of the 12th STOC Conference (1980), 29–38.Google Scholar
  12. [V1]
    L.G. Valiant, Regularity and related problems for deterministic pushdown automata, JACM 22(1975), 1–10.Google Scholar
  13. [V2]
    L.G. Valiant, The equivalence problem for deterministic finite-turn pushdown automata, Info. Contr. 25, (1974), 123–133.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • Yair Itzhaik
    • 1
  1. 1.TechnionIsrael Institute of Technology and Amiram Yehudai Tel-Aviv UniversityIsrael

Personalised recommendations