The emptiness problem for valence automata over graph monoids (Q2662504)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The emptiness problem for valence automata over graph monoids |
scientific article |
Statements
The emptiness problem for valence automata over graph monoids (English)
0 references
13 April 2021
0 references
emptiness problem
0 references
reachability problem
0 references
storage mechanism
0 references
monoid
0 references
pushdown
0 references
counter
0 references
vector addition system
0 references
Petri net
0 references
0 references
