obs: find observations of a given length, and their results
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.
Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 11:46:51 BST 1999