Documents FSM Decomposition using Partitions on States 290N: The Unknown Component Problem Lecture 24.

Slide 1 FSM Decomposition using Partitions on States 290N: The Unknown Component Problem Lecture 24 Slide 2 Outline  Once upon a time…  Motivating example  Terminology…