Symbolic tree automata

DOI10.1016/J.IPL.2014.11.005MaRDI QIDQ483051zbMATH OpenOpenAlexFDO

Authors Margus Veanes, Nikolaj Bjørner

Publication date 15 December 2014

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ipl.2014.11.005

zbMATH Keywords

algorithmsformal methodslogicsatisfiability modulo theoriestree automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Symbolic tree transducers
• Tree automata
• scientific article; zbMATH DE number 3854429
• scientific article; zbMATH DE number 54244
• Tree-stack automata
• scientific article; zbMATH DE number 4213435
• Systolic tree and tree-like automata
• scientific article; zbMATH DE number 1615227
• scientific article; zbMATH DE number 4030987
• scientific article; zbMATH DE number 3976378

Cites work

• An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet
• An Evaluation of Automata Algorithms for String Analysis
• Automata and Logics for Words and Trees over an Infinite Alphabet
• Finite state machines for strings over infinite alphabets
• Finite state transducers with predicates and identities
• Forward and backward application of symbolic tree transducers
• scientific article; zbMATH DE number 3615891 (Why is no real title available?)
• scientific article; zbMATH DE number 6131600 (Why is no real title available?)
• Minimization of symbolic automata
• MONA IMPLEMENTATION SECRETS
• Symbolic automata constraint solving
• Symbolic finite state transducers: algorithms and applications
• Tree Automata over Infinite Alphabets
• VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata

Cited in

(15)

• Symbolic methods and automata
• Weighted symbolic automata with data storage
• Tree Automata for Non-linear Arithmetic
• Propositional Tree Automata
• Dependency Tree Automata
• Nested Sibling Tree Automata
• Forward and backward application of symbolic tree transducers
• scientific article; zbMATH DE number 1512627 (Why is no real title available?)
• Minimization of symbolic tree automata
• Basics on tree automata
• Feature automata and recognizable sets of feature trees
• Tree automata with global constraints for infinite trees
• Projection for Büchi Tree Automata with Constraints between Siblings
• Reasoning About Data Trees Using CHCs
• Succinct ordering and aggregation constraints in algebraic array theories

Describes a project that uses

Uses Software

• Rex
• MTBDD
• MONA
• VATA

This page was built for publication: Symbolic tree automata

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