Abstract:This work studies which storage mechanisms in automata permit decidability of the emptiness problem. The question is formalized using valence automata, an abstract model of automata in which the storage mechanism is given by a monoid. For each of a variety of storage mechanisms, one can choose a (typically infinite) monoid $M$ such that valence automata over $M$ are equivalent to (one-way) automata with this type of storage. In fact, many important storage mechanisms can be realized by monoids defined by finite graphs, called graph monoids. Examples include pushdown stacks, partially blind counters (which behave like Petri net places), blind counters (which may attain negative values), and combinations thereof. Hence, we study for which graph monoids the emptiness problem for valence automata is decidable. A particular model realized by graph monoids is that of Petri nets with a pushdown stack. For these, decidability is a long-standing open question and we do not answer it here. However, if one excludes subgraphs corresponding to this model, a characterization can be achieved. Moreover, we provide a description of those storage mechanisms for which decidability remains open. This leads to a model that naturally generalizes both pushdown Petri nets and the priority multicounter machines introduced by Reinhardt. The cases that are proven decidable constitute a natural and apparently new extension of Petri nets with decidable reachability. It is finally shown that this model can be combined with another such extension by Atig and Ganty: We present a further decidability result that subsumes both of these Petri net extensions.

Decision Questions for Probabilistic Automata on Small Alphabets

Polynomially ambiguous probabilistic automata on restricted languages

Decision problems on unary probabilistic and quantum automata

Probabilistic Finite Automaton Emptiness is Undecidable for a Fixed Automaton

Probabilistic Finite Automaton Emptiness is undecidable

Decidability of cutpoint isolation for probabilistic finite automata on letter-bounded inputs

Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata

Probabilistic automatic complexity of finite strings

Unary probabilistic and quantum automata on promise problems

Unambiguity and Fewness for Nonuniform Families of Polynomial-Size Nondeterministic Finite Automata

Decision Problems for Restricted Variants of Two-Dimensional Automata

Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata

Power of Randomization in Automata on Infinite Strings

Alternating, private alternating, and quantum alternating realtime automata

The Emptiness Problem for Valence Automata over Graph Monoids

Power of Counting by Nonuniform Families of Polynomial-Size Finite Automata

Complexity of Unary Exclusive Nondeterministic Finite Automata

Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata

About Decisiveness of Dynamic Probabilistic Models

Deterministic pushdown automata and unary languages

Blow-up in Non-Deterministic Automata