Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
Pumping lemmas for weighted automata
du 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