Non-deterministic transitions

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

  • T_A_B represents the conditions under which a transition is taken from state A to state B
  • Else non-deterministic

Previous slide

Next slide

Back to first slide

View graphic version