Solving the Weighted HOM-Problem With the Help of Unambiguity

DOI10.4204/EPTCS.386.16MaRDI QIDQ6204136zbMATH OpenOpenAlexFDO

Authors Andreea-Teodora Nász

Publication date 9 April 2024

Published in Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2309.02761

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• The weighted HOM-problem over fields
• Weighted tree automata with constraints
• The HOM problem is decidable
• The HOM problem is decidable

Cites work

• 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 1358710 (Why is no real title available?)
• A disambiguation algorithm for weighted automata
• Characterizing derivation trees of context-free grammars through a generalization of finite automata theory
• Compiler design. Syntactic and semantic analysis
• Disambiguation of weighted 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.
• Graph automata
• On the definition of a family of automata
• The HOM Problem is EXPTIME-Complete
• The HOM problem is decidable
• 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
• Weighted tree automata and tree transducers
• Weighted tree automata with constraints

Cited in

(1)

• The weighted HOM-problem over fields

This page was built for publication: Solving the Weighted HOM-Problem With the Help of Unambiguity

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