Evènement pour le groupe Graphes et Logique


Date 2012-11-13  11:00-12:00
TitreAutomates avec multiplicité et epsilon-transitions 
RésuméLes epsilon-transitions apparaissent naturellement dans les automates lors de certains algorithmes de conversion d'expressions rationnelles, ou lorsque l'on manipule des transducteurs. La présence d'epsilon-transitions peut conduire un même mot à être accepté par un nombre infini de calculs, ce qui posent des problèmes dans le cadre des automates avec multiplicité. Nous verrons comment les définitions habituelles du comportement de tels automates peuvent être mises en défaut et comment définir la validité d'un tel automate de façon à avoir une définition stable, décidable et qui permette la suppression des epsilon-transitions quel que soit le type de multiplicité avec lequel on travaille.  
Lieusalle 76 
OrateurSylvain Lombardy 
Emailslombard@labri.fr 
UrlLaBRI 



Aucun document lié à cet événement.

Retour
Retour à l'index