The extended equivalence problem for a class of non-real-time deterministic pushdown automata

• Authors:

• Etsuji Tomita;Kazushi Seino

• Affiliations:

• -;-

• Venue:
• Acta Informatica
• Year:
• 1995