Minimization of symbolic tree automata

DOI10.1145/2933575.2933578MaRDI QIDQ4635952zbMATH OpenOpenAlexWikidataFDO

Authors Loris D'Antoni, Margus Veanes

Publication date 23 April 2018

Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2933575.2933578

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Analysis of algorithms (68W40) Automata and formal grammars in connection with logical questions (03D05)

Recommendations

• Minimization of symbolic automata
• Symbolic tree automata
• Theoretical aspects of symbolic automata
• Forward bisimulations for nondeterministic symbolic finite automata
• Learning symbolic automata

Cited in

(13)

• Succinct ordering and aggregation constraints in algebraic array theories
• Bisimulation Minimization of Tree Automata
• Forward bisimulations for nondeterministic symbolic finite automata
• Simulation algorithms for symbolic automata
• The suffix tree of a tree and minimizing sequential transducers
• Learning symbolic automata
• Minimization of symbolic automata
• Reasoning About Regular Properties: A Comparative Study
• Theoretical aspects of symbolic automata
• Inferring Symbolic Automata
• The learnability of symbolic automata
• Backward and Forward Bisimulation Minimisation of Tree Automata
• Minimal Ascending and Descending Tree Automata

This page was built for publication: Minimization of symbolic tree automata

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