Crowdly
Додати до Chrome
EIEILC6 - ECUE Langages, Compilation, Automates
Шукаєте відповіді та рішення тестів для EIEILC6 - ECUE Langages, Compilation, Automates? Перегляньте нашу велику колекцію перевірених відповідей для EIEILC6 - ECUE Langages, Compilation, Automates в lms.univ-cotedazur.fr.
Отримайте миттєвий доступ до точних відповідей та детальних пояснень для питань вашого курсу. Наша платформа, створена спільнотою, допомагає студентам досягати успіху!
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.