Reachability Problem for Weak Multi-Pushdown Automata (Q5891173)
From MaRDI portal
scientific article; zbMATH DE number 6211832
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reachability Problem for Weak Multi-Pushdown Automata |
scientific article; zbMATH DE number 6211832 |
Statements
Reachability Problem for Weak Multi-Pushdown Automata (English)
0 references
26 September 2013
0 references
multi-pushdown automata
0 references
reachability
0 references
regular sets
0 references
pushdown automata
0 references
