Minimizing Cost Register Automata over a Field

Yahia Idriss Benalioua, Nathan Lhote, Pierre-Alain Reynier

Weighted automata (WA) are an extension of finite automata that define functions from words to values in a given semiring. An alternative deterministic model, called Cost Register…