Visibly pushdown automata and transducers with counters

DOI10.3233/FI-2016-1436MaRDI QIDQ4589236zbMATH OpenFDO

Authors Oscar H. Ibarra

Publication date 9 November 2017

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/FI-2016-1436

zbMATH Keywords

ambiguousdecidablefinite-valuedpushdown automatonpushdown transducerreversal-bounded countersundecidablevisibly pushdown automatonvisibly pushdown transducer

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Visibly Pushdown Transducers
• Grammatical characterizations of NPDAs and VPDAs with counters
• 2-Visibly Pushdown Automata
• Visibly pushdown transducers
• Regularity Problems for Visibly Pushdown Languages

Cited in

(14)

• Pushdown automata with reversal-bounded counters
• Grammatical characterizations of NPDAs and VPDAs with counters
• On store languages of language acceptors
• Two-way Parikh automata with a visibly pushdown stack
• Trimming visibly pushdown automata
• On Model Checking for Visibly Pushdown Automata
• Visibly pushdown automata with multiplicities: finiteness and K-boundedness
• On the complexity of membership and counting in height-deterministic pushdown automata
• Event-Clock Visibly Pushdown Automata
• On the Expressive Power of 2-Stack Visibly Pushdown Automata
• Verifying quantitative temporal properties of procedural programs
• Input-Position-Restricted Models of Language Acceptors
• 2-Visibly Pushdown Automata
• Input-driven multi-counter automata

This page was built for publication: Visibly pushdown automata and transducers with counters

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4589236)