Nächste Seite:
Beschränkte Rekursion
Aufwärts:
Communicating Sequential Processes
Vorherige Seite:
Ableitungen (4)
Ableitungen (5)
Ableitung einer Vereinigung:
= +
Ableitung einer Verkettung:
= ...
wenn
¬
E
(
X
)
, dann
... = ⋅
Y
wenn
E
(
X
)
, dann
... = ⋅
Y
+
Ableitung einer Wiederholung:
= ⋅
X
*
Vereinfachungsregeln für
ε
und
∅
als Argumente für
+
und
⋅
Johannes Waldmann 2011-06-29
