Deciding Unambiguity and Sequentiality starting from a Finitely Ambiguous Max-Plus Automaton

Ines Klimann, Sylvain Lombardy, Jean Mairesse +1

Finite automata with weights in the max-plus semiring are considered. The main result is: it is decidable in an effective way whether a series that is recognized by a finitely ambi…