Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton (2004)
by
Ines Klimann
,
Sylvain Lombardy
,
Jean Mairesse
,
Christophe Prieur
| Venue: | THEORET. COMPUT. SCI |
| Citations: | 4 - 2 self |
BibTeX
@ARTICLE{Klimann04decidingunambiguity,
author = {Ines Klimann and Sylvain Lombardy and Jean Mairesse and Christophe Prieur},
title = {Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton},
journal = {THEORET. COMPUT. SCI},
year = {2004},
volume = {327},
pages = {349--373}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Finite automata with weights in the max-plus semiring are considered. The main result is: it is decidable whether a series that is recognized by a finitely ambiguous max-plus automaton is unambiguous, or is sequential. Furthermore, the proof is constructive. A collection of examples is given to illustrate the hierarchy of maxplus series with respect to ambiguity.
