1 paper
Jelena Ignjatović, Miroslav Ćirić, Zorana Jančić
In this paper we prove the equivalence of sequential, Mealy-type and Moore-type weighted finite automata with output, with respect to various semantics which are defined here.