Mitsuo Wakatsuki, Etsuji Tomita, Tetsuro Nishino. A Polynomial-Time Algorithm for Checking the Equivalence for Real-Time Deterministic Restricted One-Counter Transducers Which Accept by Final State. In 14th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2013, Honolulu, Hawaii, USA, 1-3 July, 2013. pages 459-465, IEEE, 2013. [doi]
Abstract is missing.