2 search results - page 1 / 1 » An Introduction to Decidability of DPDA Equivalence |
FSTTCS
2001
Springer
13 years 9 months ago
2001
Springer
ICALP
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We prove that observational equivalence of IA3 + Y0 (3rdorder Idealized Algol with 0th-order recursion) is equivalent to the DPDA Equivalence Problem, and hence decidable...