image-moins-nette

Question `a`

DS : caa, donc on peut trouver facilement W et les UIO.

W : \{caa\}

UIO(0) = N x y
UIO(1) = N y y
UIO(2) = x y y
UIO(3) = x y x

Question `b`

TS_{UIO}(1, \text{a/y}, 2)= R/N a/x, a/y, c/x a/y a/y
TS_{UIO}(3, \text{a/y}, 0)= R/N a/x a/y b/x, a/y, c/N a/x a/y

Non déterministe, aussi le système a pu planter

La réponse “le système à peut-être planté” est peut-être souvent la réponse aux questions du prof, apparemment.

Cas où on rallonge le préambule : Verdict : FAIL : Erreur mixte
Cas où on rallonge la signature : Verdict : FAIL : Erreur mixte

Si le préambule aurait été mauvais, alors c’est INCONCLUSIF

Suffit de modifier le FSM pour répondre
On peut mettre du non-déterminisme pour répondre à la question.

questions