An Improvement of Valiant's Decision Procedure for Equivalence of Deterministic Finite-Turn Pushdown Automata

An Improvement of Valiant's Decision Procedure for Equivalence of Deterministic Finite-Turn Pushdown Automata Catriel Beeri 128-134 conf/focs/FOCS16 1975 FOCS db/conf/focs/focs75.html#Beeri75 https://doi.org/10.1109/SFCS.1975.4 https://doi.ieeecomputersociety.org/10.1109/SFCS.1975.4