3.1.3 ProgramStateMachineType

type definition of a Program and is a subtype of the FiniteStateMachineType