Non-deterministic transitions

• A machine is deterministic if at most one of T_A_B, T_A_C, etc. can be true

  • Else non-deterministic

• Can encode non-deterministic transitions

  • next(S) := case T_A_B & T_A_C: {B,C}; T_A_B : B; T_A_C : C; 1 : S;esac;

Previous slide

Next slide

Back to first slide

View graphic version