Un peu de logique...

[invite5e5ea0fa]

Bonjour,

voilà je suis confronté à un éxercice qui me laisse perplexe, j'essaye de le prendre de plusieurs façons mais je n'y arrive pas bien, et ne suis pas sur de ce que j'avance.
Je précise que c'est un qcm où il se peut qu'il n'y ait pas de réponses...
Je voudrais donc avoir votre avis sur la chose.

Soit deux PC qui "veulent" accéder à une imprimante pour imprimer des données Di.
Un système arbitre X gère les demandes multiples.
Un multiplexeur MPX est utilisé pour aiguiller les données D0 ou D1 vers l'imprimante par la ligne D

Si S=0 alors D0->D
Si S=1 alors D1->D

Chaque PC dispose d'une ligne Ri pour demander l'attribution de l'imprimante.
C'est le premier PC qui demande qui obtient l'attribution.

Par exemple si 2PC demandent l'imprimante, le PC qui a demandé le premier est servi puis on donne le canal à l'autre PC s'il la demande encore.
Si aucun PC ne demande, on reste dans l'état (0ou1) d'aiguillage précédent.

1)On souhaite déterminer le nombre d'état que l'on peut obtenir si on représente l'automate de fonctionnement de l'arbitre X.

2)Enfin, on souhaite déterminer l'équation logique de la commande S obtenue, en faisant la synthèse complète de la machine à état.

P.S: Pour les états on a : R0,R1 et X

Voilà, je vous remercie d'avance pour votre aide.
-----

[invite6bc2701b]

Bonjour,

Si j'ai bien compris ton explication, on obtien ce chemat:

On est d'accord?


Si tel es le cas, alors le l'arbitre X a 4 états en entré et 2 états en sortie. Donc globalement, l'arbitre X a 8 états.(a toi de choisir )

pour la question deux je fais un tableau :

  R0  |  R1  |  S    |
----------------------
  0    |  0    |  X    |
----------------------
  0    |  1    |  R1  |
----------------------
  1    |  0    |  R0  |
----------------------
  1    |  1    |  X    |
----------------------

on trouve donc :
S=R0XR1+ S

X=OU exclusif
+=OU