obs: find observations of a given length, and their results
obs(n,A);
Notes
Lists all observations of length n, and the final state of each.
If there are several states which can be reached by the same observation,
all will be listed.
See also
sim
transitions
derivatives
closure
vs
random
init
Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 11:46:51 BST 1999