Computer Science – Discrete Mathematics
Scientific paper
2007-09-20
RAIRO - Theoretical Informatics and Applications 40 (2006) 1-14
Computer Science
Discrete Mathematics
Scientific paper
10.1051/ita:2005042
Consider partial maps from the free monoid into the field of real numbers with a rational domain. We show that two families of such series are actually the same: the unambiguous rational series on the one hand, and the max-plus and min-plus rational series on the other hand. The decidability of equality was known to hold in both families with different proofs, so the above unifies the picture. We give an effective procedure to build an unambiguous automaton from a max-plus automaton and a min-plus one that recognize the same series.
Lombardy Sylvain
Mairesse Jean
No associations
LandOfFree
Series which are both max-plus and min-plus rational are unambiguous does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Series which are both max-plus and min-plus rational are unambiguous, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Series which are both max-plus and min-plus rational are unambiguous will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-518209