Jacques Sakarovitch
IdRefMots clés
FR |
EN
Théorie des automates mathématiques
Automate fini
Système de numération abstrait
Langages formels
Transducteurs
Génération aléatoire
Markov
Automate universel
Mots infinis
Automate bidirectionnel
Multiplicité
Markov, Processus de
Automates sur les mots infinis
Multiplicité (mathématiques)
Anneaux de semigroupes
Vérification formelle
Spécification quantitative
Automates à poids
Logiciels -- Vérification
Méthodes formelles (informatique)