Go backward to
Composite Agents
Go up to
Top
Go forward to
Transition Graph
Restrictions
Restriction
(A|B)
\
c
P
->
alpha
P'
allows
P
\
L
->
alpha
P'
\
L
(if
alpha
,
alpha
not in
L
)
Transition (derivation) tree
(A|B)
\
c
|
a
(A'|B)
\
c
|
tau
(A|B')
\
c
/
b
\
a
(A|B)
\
c
(A'|B')
\
c
|
a
|
b
(A'|B)
\
c
(A'|B)
\
c
...
...
Author:
Wolfgang Schreiner
Last Modification: June 8, 1998