×

Reversal-bounded multicounter machines and their decision problems. (English) Zbl 0365.68059


MSC:

68Q45 Formal languages and automata
03D10 Turing machines and related notions
68Q25 Analysis of algorithms and problem complexity
PDF BibTeX XML Cite
Full Text: DOI