Exercice 3

Question 6

a

UIO(S1) = b/y
UIO(S2) = a/y
PUIO(S3) = b/x : UIO(1) = b/x b/y et c/x : UIO(2) = c/x a/y

On doit faire un PUIO : toutes les transitions qui sortent de notre état (aka qui ne boucle pas sur notre état)
On le fait parce que en commençant par n’importe quelle transition, le premier élément ne permet pas de distinguer.

Malheureusement, le PUIO(3) est indistinguable de l’état 2.

Alors, on rajoute la transition qui boucle sur soi-même, car elle est différente, donc :
PUIO(S3) = b/x b/y c/x a/y; a/x

TS_{UIO}(\text{S1, a/x, S3}) = R/N a/x b/y a/x