BrockAckerman

This page contains an applet that should appear as a separate window.

This model illustrates the well-known Brock-Ackerman anomaly. The two composite actors ActorA and ActorB implement exactly the same (nondeterministic) input/output relation. That is, given any two input sequences at the two input ports, the possible output sequences from each actor are the same. However, when wired as shown into two feedback loops, the two actors do not behave the same way. In particular, the upper feedback loop has more possible outputs than the bottom one.

\ \ MoML specification for this model. \