Go backward to
Dynamic Laws
Go up to
Top
Go forward to
The Expansion Law
Non-Laws
tau
.
P
=
P
A =
a.A
+
tau
.
b.A
A' =
a.A'
+
b.A'
A
may switch to state in which only
b
is possible.
B
always
allows
a
or
b
.
Action sequence
a, a
may yield dedlock for right side.
alpha
.(
P + Q
) =
alpha
.
P
+
alpha
.
Q
a.(b.P + c.Q) = a.b.P + a.c.Q
b.P
is
a
-derivative of right side, not capable of
c
action.
a
-derivative of left side is capable of
c
action!
Action sequence
a, c
may yield deadlock for right side.
Author:
Wolfgang Schreiner
Last Modification: June 8, 1998