Go backward to Composite AgentsGo up to TopGo forward to Transition Graph |

- Restriction
*(A|B)*\*c**P*->^{alpha}*P'*allows*P*\*L*->^{alpha}*P'*\*L*

(if`alpha`,not in`alpha`*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