Control Structures of Single-Process Runs
摘要
This Chapter illustrates in terms of PGAs sequential SINGLE-AGENT BEHAVIOUR: imperative procedural programs (a sublanguage of JAVA), input-driven function-computing programs, nondeterministic interleaving computations, synchronous parallel-step-controlled machines, and cellular automata. The latter three add to PGAs the fundamental quantification constructs CHOOSE and FORALL.