(1) En datamaskin programmet konstruksjon i som en av to eller flere alternative sett av programmet uttalelser er valgt for execution.~(2) A punkt i et dataprogram som er en av to eller flere alternative sett av programmet utsagn er valgt for execution.~(3) noen av de alternative settene av programmet påstander i (1).~(4) å utføre valget i (1).