A Polynomial-Time Algorithm for Checking the Equivalence for Real-Time Deterministic Restricted One-Counter Transducers Which Accept by Final State.

Mitsuo Wakatsuki, Etsuji Tomita, Tetsuro Nishino

Browse the full SNPD paper archive.