Crowdly
Add to Chrome
EIEILC6 - ECUE Langages, Compilation, Automates
Looking for EIEILC6 - ECUE Langages, Compilation, Automates test answers and solutions? Browse our comprehensive collection of verified answers for EIEILC6 - ECUE Langages, Compilation, Automates at lms.univ-cotedazur.fr.
Get instant access to accurate answers and detailed explanations for your course questions. Our community-driven platform helps students succeed!
Comme vous l'avez vu, un Automate Fini Déterministe (AFD ou DFA in english) est complet si de tout état et avec toute lettre il existe une transition (donc tout mot peut être lu sans blocage (⊥) de la première à la dernière lettre).
Étant donnés 2 DFA A et B qui reconnaissent respectivement les 2 langages L(A) et L(B).
On s'intéresse au produit C des 2 DFA, tel que défini en Ex3.5, mais l'ensemble des états d'acceptation de C, FC pourra être différent de celui défini en Ex3.5.
La différence ensembliste de X et Y, c'est-à-dire l'ensemble des éléments de X qui ne sont pas dans Y est notée X \ Y.
La différence symétrique de X et Y, c'est-à-dire ensemble des éléments qui sont dans X mais pas dans Y, ou dans Y mais pas dans X (donc c'est le XOR), est notée X Δ Y.
Comme vous l'avez vu, un Automate Fini Déterministe (AFD ou DFA in english) est complet si de tout état et avec toute lettre il existe une transition (donc tout mot peut être lu sans blocage (⊥) de la première à la dernière lettre).
Étant donnés 2 DFA A et B qui reconnaissent respectivement les 2 langages L(A) et L(B).
On s'intéresse au produit C des 2 DFA, tel que défini en Ex3.5, mais l'ensemble des états d'acceptation de C, FC qui pourra être différent de celui défini en Ex3.5.
La différence ensembliste de X et Y, c'est-à-dire l'ensemble des éléments de X qui ne sont pas dans Y est notée X \ Y.