FB18 - Das Forum für Informatik

fb18.de / Bachelorstudieng / PM Formale Informatik

Folgenäquivalent

Folgenäquivalent 2008-11-05 15:55
Anonymer User
Zwei Transitionssysteme die vom Aufbau gleich sind, nur das das zweite System in seinen Zuständen noch quasi Zähler eingebaut hat (z.B. (r0,n) (r0,n +1) usw.) dürfte doch die gleiche aktionsfolgenmenge haben, weil sie eben mit diesen Zuständen doch nichts zu tun hat, oder?

RE: Folgenäquivalent 2008-11-05 17:23
rothose86
Jop.