Journal of the ACM Bibliography

Esko Ukkonen. The equivalence problem for some non-real-time deterministic pushdown automata. Journal of the ACM, 29(4):1166-1181, October 1982. [BibTeX entry]
Categories and Subject Descriptors: F.1.1 [Computation by Abstract Devices]: Models of Computation -- automata; F.4.3 [Mathematical Logic and Formal Languages]: Formal Languages -- decision problems

General Terms: Algorithms, Languages, Theory

Additional Key Words and Phrases: dpda equivalence, finite-turn dpdas, real time dpdas, deterministic languages

Selected references


Shortcuts:

  • Journal of the ACM homepage
  • Bibliography top level
  • Journal of the ACM Author Index
  • Search the HBP database