Dimension-Minimality and Primality of Counter Nets
Dimension-Minimality and Primality of Counter Nets
About this item
Full title
Author / Creator
Publisher
Ithaca: Cornell University Library, arXiv.org
Journal title
Language
English
Formats
Publication information
Publisher
Ithaca: Cornell University Library, arXiv.org
Subjects
More information
Scope and Contents
Contents
A \(k\)-Counter Net (\(k\)-CN) is a finite-state automaton equipped with \(k\) integer counters that are not allowed to become negative, but do not have explicit zero tests. This language-recognition model can be thought of as labelled vector addition systems with states, some of which are accepting. Certain decision problems for \(k\)-CNs become e...
Alternative Titles
Full title
Dimension-Minimality and Primality of Counter Nets
Authors, Artists and Contributors
Author / Creator
Identifiers
Primary Identifiers
Record Identifier
TN_cdi_proquest_journals_2843258365
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/TN_cdi_proquest_journals_2843258365
Other Identifiers
E-ISSN
2331-8422
