Some Remarks on Module 8

AlexanderF
BASIC-Programmierer
BASIC-Programmierer
Beiträge: 140
Registriert: 2. Mai 2010 17:55

Some Remarks on Module 8

Beitrag von AlexanderF » 5. Feb 2018 12:40

I think on slide 33 of Module 8,
it is possible to weaken the requirement that the union of R and "low bisimilarity" is symmetric to the one that R is symmetric.
Since if R is symmetric and "low bisimilarity" is symmetric,
(which we can conclude from the second theorem on slide 18)
I think, it follows that the union of both is symmetric.

On slide 50 and 55 I think the reference should be to slide 11 instead of 10.
And what is meant by
"In the rest of this module, we use probabilistic bisimulations
instead of strong probabilistic bisimulations.".
Does it mean:
"In the rest of this module, we use the term 'probabilistic bisimulation'
instead of the term 'strong probabilistic bisimulation'."

best regards,
Alexander

AlexanderF
BASIC-Programmierer
BASIC-Programmierer
Beiträge: 140
Registriert: 2. Mai 2010 17:55

Re: Some Remarks on Module 8

Beitrag von AlexanderF » 5. Feb 2018 19:03

And on slides 42ff, I think, brackets around the statements are missing.

AlexanderF
BASIC-Programmierer
BASIC-Programmierer
Beiträge: 140
Registriert: 2. Mai 2010 17:55

Re: Some Remarks on Module 8

Beitrag von AlexanderF » 6. Feb 2018 18:41

On slide 56 in the definition of lambda specific bisimulation on configurations,
the second bullet point does not need to contain (L1, sigma1, st1) R (L1', sigma1', st1') since it already occurs ahead of the bullet points.

And the reflexivity, transitivity and symmetry (1. bullet point) could be written before the first (L1, sigma1, st1) R (L1', sigma1', st1') because it does not depend on it.

Antworten

Zurück zu „Archiv“