IEEE - Institute of Electrical and Electronics Engineers, Inc. - A Polynomial-Time Algorithm for Checking the Equivalence for Real-Time Deterministic Restricted One-Counter Transducers Which Accept by Final State

2013 14th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2013)

Author(s): Mitsuo Wakatsuki ; Etsuji Tomita ; Tetsuro Nishino
Sponsor(s): IEEE Comput. Soc.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 July 2013
Conference Location: Honolulu, HI, USA
Conference Date: 1 July 2013
Page(s): 459 - 465
ISBN (Electronic): 978-0-7695-5005-3
DOI: 10.1109/SNPD.2013.18
Regular:

This paper is concerned with a subclass of deterministic pushdown transducers, called deterministic restricted one-counter transducers (droct's), and studies the equivalence problem for real-time... View More

Advertisement