vs: find observations of a given length



Lists all observations (visible sequences) of length n from A. This is exactly like obs(n,A), except that we don't care what the final state is.

See also

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