The Extendes Equivalence Problem for a Class of Non-Real-Time Deterministic Pushdowen Automata

Etsuji Tomita, Kazushi Seino. The Extendes Equivalence Problem for a Class of Non-Real-Time Deterministic Pushdowen Automata. Acta Informatica, 32(4):395-413, 1995.

Abstract

Abstract is missing.