The following definition is a generalization of a linear weighted automaton of
[1]} from the setting of vector spaces and linear maps to
that of semimodules over a semiring \(K\)  and \(K\) -linear maps. Note that we use
the term “\(K\) -linear weighted automaton" to distinguish it from the “linear
weighted automaton" of [1]}, [3]}.
