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
?
S1 -a->1 s2
?