FB18 - Das Forum für Informatik

fb18.de / Diplom Informatik / Theoretische Informatik (HS)

PNL-Notation Bei Bisimulation

PNL-Notation Bei Bisimulation 2009-11-17 19:53
Anonymer User
Wofür steht die "1" auf Seite 8 in Def. 1.7 bei:

S1 -a->1 s2

?

RE: PNL-Notation Bei Bisimulation 2009-11-17 20:45
Lehrkraft
Das ist ein Index am "Pfeil", also an der Transitionsrelation.  Irgendwie muss ja zwischen den beiden Transitionsrelationen tr1 und tr2 der beteiligten Transitionssysteme unterschieden werden.