SEG-2501 : Examen mi-session 2005

Voici une copie de l'examen.

Voici les résultats obtenus.

Voici les solutions:

Partie 1 : Choix multiples: 1c; 2d; 3b; 4b ou d [note: j'ai donné un point seulement (au lieu de 2) parce que la question contient une erreur: les deux choix (b) et (d) représent des langages différents que (a) et (c); alors le nombre maximum de points dans l'examen est 59 = 60 - 1 ]; 5h; 6c.

Partie 2 : Réponses brèves:

Q 7:

Q 8: Note: "terminaison" veut dire, il faut prévoir que la chaîne pourrait terminer par 1, 10, ou 00.

Q9: La solution est:  a* ( b | c ) (a b)* c

Q10: Le diagramme suivant est un diagramme minimal. On pourrait y ajouter les états du processus LSControl. La ligne vertical avec "59 unités" est un commentaire optionnel qui ne fait pas partie de la notation MSC.

Q11: (deux points par sous-question)

  1. réponse: 1 (les états Even, Odd et wait_for_ack)
  2. réponse: 3 (les signaux Endgame et Gameover)
  3. réponse: oui (traitement comme indiqué par le symbole d'état *)

Partie 3: Résolution de problème: (certaines variations sont possibles)

Solution pour 12.1:

Solution pour 12.2: Note: si la réponse donnée est consistante avec la réponse pour la sous-question 12.1 (même si celle-là n'est pas correcte), j'ai donné tous les trois points.

Solution pour 12.3:

Solution pour 12.4: