Jean-Éric Pin
IdRefMots clés
FR |
EN
Théorie des automates mathématiques
Langages rationnels
Langages formels
Automates
Semigroupes
Monoïdes
Logique
Logique informatique
Décidabilité (logique mathématique)
Langages algébriques
Logiciels -- Vérification
Automate
Arbres
Algèbre
Structures de données (informatique)
Semi-groupes
Langages
Théorie des jeux
Algèbres de semigroupes
Sémantique