5.1.3.1 Program Beginning ¶

If an assembler program has a single initial state, the assembler program just begins with the initial state:

        ; Program beginning

        ; The initial state goes after this line.

If the state transition matrix does not have the restriction to define only deterministic state transitions, an assembler program can begin with a block of jprob instructions or a choice instruction block transferring control to one of initial states of the assembler program:

        ; Program beginning

        jprob   prob1, initial_state_S1
        jprob   prob2, initial_state_S2
        ...
        jprob   probN, initial_state_SN

        ; Initial state S0 beginning

or

        ; Program beginning

        choice
        case    prob1, initial_state_S1
        case    prob2, initial_state_S2
        ...
        case    probN, initial_state_SN
        end     choice

        ; Initial state S0 beginning

The state transition matrix contains probabilities of transitions to initial assembler program states.