Showing papers in "Journal of Automata, Languages and Combinatorics in 1974"

On the Determinization of Weighted Automata.

Abstract: In the paper, we generalize an algorithm and some related results by Mohri [25] for determinization of weighted finite automata (WFA) over the tropical semiring We present the underlying mathematical concepts of his algorithm in a precise way for arbitrary semirings We define a class of semirings in which we can show that the twins property is sufficient for the termination of the algorithm We also introduce single-valued WFA and give a partial correction of a claim by Mohri [25] by showing several characterizations of single-valued WFA, eg, the formal power series computed by a single-valued WFA is subsequential iff it has bounded variation Also, it is decidable in polynomial time whether a given WFA over the tropical semiring is single-valued