Reduction et synchronisation d'automates non ambigus
FR
Auteur / Autrice : | Arturo Carpi |
Direction : | Dominique Perrin |
Type : | Thèse de doctorat |
Discipline(s) : | Sciences appliquées |
Date : | Soutenance en 1988 |
Etablissement(s) : | Paris 7 |
Résumé
FR
La notion de reduction non ambigue d'automates non ambigus est introduite. Il est montre que, sous des hypotheses tres generales, pour toute reduction booleenne d'automates non ambigus il y a une reduction non ambigue entre les automates consideres. Il est aussi demontre qu'il y a une reduction entre des convenables automates non ambigus finis reconnaissants deux sous monoides libre si et seulement s'ils sont engendres par deux codes rationnels x et z tels que x est compose d'un code complet par z. Dans la derniere partie, le probleme de la synchronisation pour les automates non ambigus est etudie