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