Bonsoir, les logiciens, j'ai un exercice à faire mais je bloque dessus non pas que je ne le comprend pas mais je n'ai pas encore acquis l'art de la redaction formelle
Voici l'enonce:
"Suppose that { Zi; i € E }*is a non empty collection of bissimulations between two kripke models M and M'.
Prove that the relation U (i€ E) Zi is also a bisimulation between M and M' <== il s'agit de l'union
Je sais qu'il s'agit betement de la definition de l'union a appliquer mais quelqu'un pourrait m'aider car niveau redaction je bloque.
Conclude that if M and M' are bisimilar, then there is a maximal bisimulation between M and M', that is, a bisimulation Zm such that for any bisimulation Z; M <-> M' we have Z inclus dans Zm"
Ici aussi intuitivement ca semble evident, et je pense qu'il faut supposer qui depasse Zm pour au final aboutir a Zm
Mais j'ai beaucoup de mal
Je serai ENOOOOOOOOOOOOOORMEMENT reconnaissant si quelqu'un pouvait m'eclairer
-----