Evènement pour le groupe Séminaire Méthodes Formelles


Date 2018-01-23  11:00-12:00
TitrePumping lemmas for weighted automata 
RésuméWe present three pumping lemmas for three classes of functions definable by fragments of weighted automata over the min-plus semiring and the semiring of natural numbers. As a corollary we show that the hierarchy of functions definable by unambiguous, finitely-ambiguous, polynomially-ambiguous weighted automata, and the full class of weighted automata is strict for the min-plus semiring. This is joint work with Cristian Riveros to be presented at stacs 2018. 
Lieu178 
OrateurFilip Mazowiecki 
Emailhttps://www.mimuw.edu.pl/~fmazowiecki/ 
UrlLaBRI 



Aucun document lié à cet événement.

Retour
Retour à l'index