SOME CONSEQUENCES OF A FATOU PROPERTY OF THE TROPICAL SEMIRING

[摘要] We show that the equatorial semiring Z(min) = (Z or { + infinity}, min, + ) is a Fatou extension of the tropical semiring M = (N or { + infinity}, min, + ). This property allows us to give partial decidability results for the equality problem for rational series with multiplicities in the tropical semiring. We also deduce from it the decidability of the limitedness problem for the equatorial semiring, solving therefore a question of 1. Simon.

[发布日期] 1994-05-16