Congruence and minimization of deterministic weighted finite automata

DOI10.3969/J.ISSN.1008-5513.2015.05.005MaRDI QIDQ2825075zbMATH OpenFDO

Authors Jing Tian, Hui Xu

Publication date 6 October 2016

Published in Pure and Applied Mathematics (Search for Journal in Brave)

zbMATH Keywords

congruenceminimal automatondeterministic weighted automaton

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Categories of machines, automata (18B20)

Recommendations

• Weighted finite automata over strong bimonoids
• Minimal-determinization of weighted automaton
• Determinization of weighted finite automata over strong bimonoids
• Unweighted and weighted hyper-minimization
• scientific article; zbMATH DE number 6719345

Cited in

(8)

• Minimal-determinization of weighted automaton
• Weighted finite automata over strong bimonoids
• Min-weighted and max-weighted power automata
• On the Complexity of Equivalence and Minimisation for Q-weighted Automata
• Weak Minimization of DFA — An Algorithm and Applications
• The minimal deterministic finite automaton recognizing the strong semilattice of finite monoids
• A Canonical Form for Weighted Automata and Applications to Approximate Minimization
• The relationships among several forms of weighted finite automata over strong bimonoids

This page was built for publication: Congruence and minimization of deterministic weighted finite automata

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