Approximated determinisation of weighted tree automata

DOI10.1007/978-3-030-68195-1_20OpenAlexW3130077220MaRDI QIDQ2232287

Kevin Stier, Thomas Feller, Frederic Dörband

Publication date: 4 October 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-68195-1_20

zbMATH Keywords

approximationtree automataweighted automataapproximated determinisationtwinning property

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (1)

Disambiguation of weighted tree automata

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Rigorous approximated determinization of weighted automata
• Handbook of weighted automata
• Weighted finite automata over strong bimonoids
• Weighted grammars and Kleene's theorem
• Finite sequentiality of unambiguous max-plus tree automata
• Approximate Determinization of Quantitative Automata
• Degree of Sequentiality of Weighted Automata
• DECOMPOSITION OF WEIGHTED MULTIOPERATOR TREE AUTOMATA
• Exact and Approximate Determinization of Discounted-Sum Automata

This page was built for publication: Approximated determinisation of weighted tree automata