Go backward to Composite Agents
Go up to Top
Go forward to Transition Graph
Restrictions
- Restriction \
- -> allows \ ->
\
(if alpha, alpha not in )
- Transition (derivation) tree
| | \ |
| | |a |
| | \ |
| | | |
| | \ |
| /b | | \a |
\ | | | | \ |
|a | | | | |b |
\ | | | | \ |
... | | | | ... |
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: ccs1.tex,v 1.1 1996/06/05 15:04:53 schreine Exp schreine