Behavior Descriptions
C := in(x).out(x).C
A := in(x).in(y).out(x).out(y).A
- How do behaviors differ?
- A inputs two values and outputs two values.
- C inputs and output a single value.
- Agent expression C^C.
- Combinator A1^A2 (defined later).
- Agent formed by linking out of A2 to in of A1.
- ^ is associative.
Author: Wolfgang Schreiner
Last Modification: June 8, 1998