Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Deciding the Sequentiality of a Finitely Ambiguous Max-Plus Automaton

Ines KlimannContact Information, Sylvain LombardyContact Information, Jean MairesseContact Information and Christophe PrieurContact Information

(5)  LIAFA, CNRS (umr 7089), Université Paris 7, 2, place Jussieu, 75251 Paris Cedex 5, France
Abstract
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 ambiguous max-plus automaton is sequential. A collection of examples is given to illustrate the hierarchy of max-plus series with respect to ambiguity.

Contact Information Ines Klimann
Email: klimann@liafa.jussieu.fr

Contact Information Sylvain Lombardy
Email: lombardy@liafa.jussieu.fr

Contact Information Jean Mairesse
Email: mairesse@liafa.jussieu.fr

Contact Information Christophe Prieur
Email: prieur@liafa.jussieu.fr
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.107 • Server: mpweb24
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)