×

zbMATH — the first resource for mathematics

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