Pierre-Alain Reynier
Mots clés
FR |
EN
Transducteurs
Automates temporisés
Algorithmes
Vérification de modèles (informatique)
Arbres (théorie des graphes) -- Informatique
Automates
Logique
Transduction
Transducteur unidirectionnel et bidirectionnel
SST
Transduction MSO
Langages formels
Théorie de la définissabilité (mathématiques)
Automate à pile visible
Automate d'arbres
Transducteur
Coût
Émondage
Norme
TSX07 (automate programmable)