vs: find observations of a given length
vs(n,A);
Notes
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