×

The decidability of equivalence for deterministic stateless pushdown automata. (English) Zbl 0393.68078


MSC:

68Q45 Formal languages and automata
03D05 Automata and formal grammars in connection with logical questions
03B25 Decidability of theories and sets of sentences

Citations:

Zbl 0361.68081
PDFBibTeX XMLCite
Full Text: DOI