}Choice between 2 states or 3 states
}2 states model hides possibility of SR =
00
}00à11 transition result is uncertain, thus
the fourth state QQ’ = 11 does not have deterministic next states
}We assume initial state to be 11
}May be different, e.g. 01
}Transitions correspond to SR inputs