Le moteur de recherche
des thèses françaises
Sylvain Lombardy
IdRefMots clés
FR |
EN
Automates
Langages formels
Complexité de calcul (informatique)
Transducteurs
Théorie des automates mathématiques
Monoïdes
Automates pondérés
Théorie des machines séquentielles
Automates sur les mots infinis
Machines formels
Monoïde
Monoïde syntaxique
Compléxité
Orbite
Orbite périodique
Vérification formelle
Spécification quantitative
Automates à poids
Logiciels -- Vérification
Méthodes formelles (informatique)