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?