When two ports of two automatons, say A and B, are connected, one automaton's input becomes
the other one's output. So when one automaton outputs some data, the other one
can receive it from the connected port.
There are several types of connection.
- Two-way connection
A <-> B;
The input channel of A's port 1 becomes the output channel of
B's port 1. And vice versa.
- Right connection
A >-> B;
The output channel of A's port 1 becomes the input channel of
B's port 1.
- Left connection
A <-< B;
The input channel of A's port 1 becomes the output channel of
B's port 1.
In order to specify a port other than port 1, we will need to use a list which
contains the automaton and the port index. For example, to connect port 2 of
A and port 5 of B
(A, 2) <-> (B, 5);
oz
2009-12-22