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

Ken Higuchi Mitsuo Wakatsuki Etsuji Tomita A Polynomial-Time Algorithm for Checking the Inclusion for Real-Time Deterministic Restricted One-Counter Automata Which Accept by Final State. 939-950 1995 78-D IEICE Trans. Inf. Syst. 8 http://search.ieice.org/bin/summary.php?id=e78-d_8_939 db/journals/ieicet/ieicet78d.html#HiguchiWT95