We prove that observational equivalence of IA3 + Y0 (3rd-order Idealized Algol with 0th-order recursion) is equivalent to the DPDA Equivalence Problem, and hence decidable. This completes the classification of decidable fragments of Idealized Algol. We also prove that observational approximation of IA1 + Y0 is undecidable by reducing the DPDA Containment Problem to it. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Murawski, A. S., Ong, C. H. L., & Walukiewicz, I. (2005). Idealized Algol with ground recursion, and DPDA Equivalence. In Lecture Notes in Computer Science (Vol. 3580, pp. 917–929). Springer Verlag. https://doi.org/10.1007/11523468_74
Mendeley helps you to discover research relevant for your work.