Antichains algorithms for the inclusion problem between -VPL

DOI10.1007/978-3-031-30823-9_15MaRDI QIDQ6535360zbMATH OpenFDO

Authors Pierre Ganty, Luka Hadži-Đokić

Publication date 13 December 2023

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-30823-9_15

Mathematics Subject Classification ID

Combinatorics of partially ordered sets (06A07) Formal languages and automata (68Q45) Combinatorics on words (68R15) Algorithms on strings (68W32)

Recommendations

• Visibly pushdown automata: universality and inclusion via antichains
• Ramsey goes visibly pushdown
• Ramsey-based inclusion checking for visibly pushdown automata
• Language inclusion algorithms as complete abstract interpretations
• On Model Checking for Visibly Pushdown Automata

Cites work

• Additive number theory via automata theory
• Advanced Ramsey-based Büchi automata inclusion testing
• Antichain algorithms for finite automata
• Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata
• Antichains: A New Algorithm for Checking Universality of Finite Automata
• Complete Abstractions for Checking Language Inclusion
• Decidability for Sturmian words
• Efficient Büchi universality checking
• FORQ-Based Language Inclusion Formal Testing
• scientific article; zbMATH DE number 599132 (Why is no real title available?)
• scientific article; zbMATH DE number 7730605 (Why is no real title available?)
• Nested interpolants
• Operator precedence and the visibly pushdown property
• Ramsey goes visibly pushdown
• Ramsey-based inclusion checking for visibly pushdown automata
• Syntactic Analysis and Operator Precedence
• Visibly pushdown automata: universality and inclusion via antichains
• Well quasi-orders and regular languages

Cited in

(1)

• Language inclusion algorithms as complete abstract interpretations

This page was built for publication: Antichains algorithms for the inclusion problem between \(\omega\)-VPL

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