Produit (direct) de deux automates finis (didacticiel)

[@Bobybyk]

Excusez moi, il me semble qu'il y a une erreur sur la toute dernière transition. Pour {1, 5} -> {2,4}, il me semble qu'on lit plutôt a.

[@informatiquetheorique9146]

Tout à fait ! Merci.

[@Bobybyk]

@@informatiquetheorique9146 Très bonne explication sinon ! ^^

[@artdiscoveur1195]

@@Bobybyk ui

[@Darwho]

Merci pour votre travail cela m'a aidé dans ma licence informatique (j'ai un prof détestable dans cette matière) !

[@informatiquetheorique9146]

😀

[@loic883]

j'applaudis

[@anessadiallo3817]

Bonjour, tout d’abord merci beaucoup pour vos vidéos, elles m’aident beaucoup pour les cours. Mais sauf erreur de ma part je crois que vous vous êtes trompés sur la dernière transition (1,5) qui va en (2,4) en a normalement, puisque 1 et 5 ne lisent que a, mais sur le schéma la transition est noté b. Pourriez-vous m’éclairer? merci beaucoup :)

[@informatiquetheorique9146]

Le petite coquille est en eratum dans la description.

[@doc6282]

avez vous une vidéo sur le produit parallèle ?

[@informatiquetheorique9146]

Pour le moment je n'ai que le produit direct et le produit pour deux automates de Buchi. Je prévois de faire les produits et synchronisés asap.

[@doc6282]

@@informatiquetheorique9146 merci pour votre réponse, ça serai très interessant car nous en pratique on travaille qu'avec le produit parallèle en gros : on a un automate "C" d'un système qui représente touts les cas possible de cet automate, Apres on a un automate "G" qui représente le cahier des charge du client sur ce système, en multipliant C//G = le model final

[@informatiquetheorique9146]

@@doc6282 Je viens de faire une vidéo sur les produits synchronisé, je ne sais pas si c'est ce que vous cherchiez. kzbin.info/www/bejne/qmjZn6ufd9CVr8k

[@simhaackermann8832]

Les états FINAUX sont tous les couples... * dans la définition, troisième point, il me semble

[@informatiquetheorique9146]

Oui bien sûr. Mauvais copier-coller :D

[@bestofcats93270]

autoprimates 🐒