most citedDividing Line between Decidable PDA's and Undecidable Ones

3 citations · 3 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2014★ 3 cited

Dividing Line between Decidable PDA's and Undecidable Ones

Yuxi Fu, Qiang Yin

Senizergues has proved that language equivalence is decidable for disjoint epsilon-deterministic PDA. Stirling has showed that strong bisimilarity is decidable for PDA. On the nega…