deterministic_k_turn_pushdown_automata_equivalence (272B)
1 # Deterministic k turn pushdown automata equivalence 2 3 - the [equivalence_problem] is [decidable], cf [valiant1974decidability] 4 - subsumed by [senizergues1997equivalence] 5 6 Up: [equivalence_problem], [k_turn_pushdown_automata] 7 8 Aliases: deterministic k turn PDA equivalence