Connections between Automatons

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. 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