Visibly pushdown automata and transducers with counters (Q4589236)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Visibly pushdown automata and transducers with counters |
scientific article; zbMATH DE number 6804754
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Visibly pushdown automata and transducers with counters |
scientific article; zbMATH DE number 6804754 |
Statements
Visibly Pushdown Automata and Transducers with Counters (English)
0 references
9 November 2017
0 references
pushdown automaton
0 references
pushdown transducer
0 references
visibly pushdown automaton
0 references
visibly pushdown transducer
0 references
reversal-bounded counters
0 references
ambiguous
0 references
finite-valued
0 references
decidable
0 references
undecidable
0 references
0.8320897817611694
0 references
0.8210906982421875
0 references
0.813937246799469
0 references
0.8060953617095947
0 references
0.8039611577987671
0 references