Weighted tree automata with constraints

DOI10.1007/978-3-031-05578-2_18MaRDI QIDQ2164002zbMATH OpenOpenAlexFDO

Authors Andreas Maletti, Andreea-Teodora Nász

Publication date 11 August 2022

Full work available at URL https://doi.org/10.1007/978-3-031-05578-2_18

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• The weighted HOM-problem over fields
• Solving the Weighted HOM-Problem With the Help of Unambiguity
• The HOM problem is decidable
• The HOM problem is decidable

Cites work

• Characterizing derivation trees of context-free grammars through a generalization of finite automata theory
• Compiler design. Syntactic and semantic analysis
• Equality and disequality constraints on direct subterms in tree automata
• Generalized finite automata theory with an application to a decision problem of second-order logic
• Grammatical picture generation. A tree-based approach. With CD-ROM.
• scientific article; zbMATH DE number 3854429 (Why is no real title available?)
• scientific article; zbMATH DE number 5141496 (Why is no real title available?)
• scientific article; zbMATH DE number 3924161 (Why is no real title available?)
• scientific article; zbMATH DE number 3588051 (Why is no real title available?)
• scientific article; zbMATH DE number 1257742 (Why is no real title available?)
• scientific article; zbMATH DE number 1136764 (Why is no real title available?)
• scientific article; zbMATH DE number 2040322 (Why is no real title available?)
• scientific article; zbMATH DE number 1358710 (Why is no real title available?)
• scientific article; zbMATH DE number 1414314 (Why is no real title available?)
• Implementation and Application of Automata
• On the definition of a family of automata
• The HOM problem is decidable
• The support of a recognizable series over a zero-sum free, commutative semiring is recognizable
• The supports of weighted unranked tree automata
• Tree acceptors and some of their applications
• Tree automata, (dis-)equality constraints and term rewriting. What's new?
• Weighted extended tree transducers
• Weighted tree automata and tree transducers

Cited in

(13)

• scientific article; zbMATH DE number 6611375 (Why is no real title available?)
• Visibly Tree Automata with Memory and Constraints
• Automated Induction with Constrained Tree Automata
• DECOMPOSITION OF WEIGHTED MULTIOPERATOR TREE AUTOMATA
• Weighted Languages Recognizable by Weighted Tree Automata
• Bottom-Up Tree Automata with Term Constraints
• scientific article; zbMATH DE number 7360252 (Why is no real title available?)
• Weighted two-way transducers
• Weighted two-way transducers
• Weighted tree automata with constraints
• Weighted bottom-up and top-down tree transformations are incomparable
• Solving the Weighted HOM-Problem With the Help of Unambiguity
• The weighted HOM-problem over fields

This page was built for publication: Weighted tree automata with constraints

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