MODE D'EMPLOI - Olympus
L'algorithme de déterminisation des automates finis vu en cours et étudié dans cette feuille de TD est mis en ?uvre dans l'outil JFLAP (voir ...
1 Langages et automates finisOn peut supposer par exemple que x peut prendre 2 valeurs x1 et x2, que Apx1q et Apx2q sont vraies, ainsi que Bpx1q, mais que Bpx2q est fausse. On a alors Apx1q ... 4. CompacitéVu en TD : on peut coder les arbres binaire complets de taille n, par des mots de longueur 2n sur un alphabet à 2 lettres. Le codage. Codage des arbres binaires complets - LaBRIEn déduire que si f ne s'annule pas, log |f| est harmonique. De même, si une détermination de arg(f) existe, démontrer qu'elle est harmonique. Exercice 2.
Autres Cours:
