×

Linearity is polynomially decidable for realtime pushdown store automata. (English) Zbl 0413.68086


MSC:

68Q45 Formal languages and automata
03B25 Decidability of theories and sets of sentences

Citations:

Zbl 0267.68034
PDFBibTeX XMLCite
Full Text: DOI