Mario Grobler

Un aperçu des automates, de leurs types et des langages qu'ils reconnaissent.

Un aperçu des graphes dirigés et des méthodes pour simplifier l'identification des cycles.

Une étude des automates de Parikh déterministes et leur rôle dans le traitement des mots infinis.