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.

See also

  • sim
  • transitions
  • derivatives
  • closure
  • vs
  • random
  • init
    Edinburgh Concurrency Workbench (v7.1). Page generated: Sun Jul 18 11:46:51 BST 1999