State Complexity of the Quotient Operation on Input-Driven Pushdown Automata (Q5205050)
From MaRDI portal
scientific article; zbMATH DE number 7141931
Language | Label | Description | Also known as |
---|---|---|---|
English | State Complexity of the Quotient Operation on Input-Driven Pushdown Automata |
scientific article; zbMATH DE number 7141931 |
Statements
State Complexity of the Quotient Operation on Input-Driven Pushdown Automata (English)
0 references
10 December 2019
0 references
input-driven automata
0 references
visibly pushdown automata
0 references
quotient
0 references
closure properties
0 references
state complexity
0 references