Errata exists for this version of the document.

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