Variations of checking stack automata: obtaining unexpected decidability properties (Q5915651)
From MaRDI portal
scientific article; zbMATH DE number 6791080
Language | Label | Description | Also known as |
---|---|---|---|
English | Variations of checking stack automata: obtaining unexpected decidability properties |
scientific article; zbMATH DE number 6791080 |
Statements
Variations of checking stack automata: obtaining unexpected decidability properties (English)
0 references
18 June 2018
0 references
13 October 2017
0 references
checking stack automata
0 references
pushdown automata
0 references
decidability
0 references
reversal-bounded counters
0 references