Trimming Visibly Pushdown Automata

DOI10.1007/978-3-642-39274-0_9zbMath1298.68125OpenAlexW179285264MaRDI QIDQ5327485

Jean-Marc Talbot, Pierre-Alain Reynier, Mathieu Caralp

Publication date: 7 August 2013

Published in: Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39274-0_9

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (2)

State complexity of operations on input-driven pushdown automata ⋮ Minimization of Visibly Pushdown Automata Using Partial Max-SAT

This page was built for publication: Trimming Visibly Pushdown Automata