Representing One Letter Weighted Automata Over the Tropical Semiring

Shaull Almagor, Ismaël Jecker, Filip Mazowiecki +3

We consider weighted automata over the tropical semiring ${\mathbb{Z}}_{\infty }(min,+)$. Recently, it was shown that determinisation is decidable; in this paper we focus on the comple…