Théorie des Automates

Étude mathématique des machines abstraites (automates) et des classes de langages formels qu'elles reconnaissent, incluant automates finis, automates à pile, automates linéairement bornés et machines de Turing ; relie propriétés algébriques, logiques et combinatoires des langages et des modèles de calcul.