What is Non-determinism?

What is Non-determinism?

• Deterministic systems
  • For each state-input pair, the next state and output are unique
  • Final systems implemented as circuits are deterministic
• Non-deterministic systems
  • There exists a state-input pair for which the next state and output are not unique
  • Can describe a set of behaviors

Previous slide

Next slide

Back to the first slide

View Graphic Version