Sylvain Lombardy
IdRefMots clés
FR |
EN
Automates pondérés
Transducteurs
Automates sur les mots infinis
Théorie des automates mathématiques
Automates
Vérification formelle
Spécification quantitative
Automates à poids
Logiciels -- Vérification
Méthodes formelles (informatique)
Théorie algébrique des langages
Automates circulaires
Séries rationnelles
Automates boustrophédons
Séries de Hadamard
Langages algébriques
Semi-anneaux
Automates à Registres de Coût
Factorisations Ramseyennes
Complexité de calcul