DOI10.1016/0304-3975(89)90026-1zbMath0683.68063MaRDI QIDQ1825044
Dana Pardubská, Ivana Štefáneková
Publication date: 1989 Published in: Theoretical Computer Science (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1016/0304-3975(89)90026-1
zbMATH Keywords
counter machines; counting arguments; closure under complement
Mathematics Subject Classification ID
68Q25: Analysis of algorithms and problem complexity
68Q45: Formal languages and automata