ECS 154A Lecture Notes - Lecture 11: Logic Gate, Sequential Circuits, Sequential Logic
Document Summary
This week i noted that our seven-state edge detector machine on the left side below could be simplified to a five-state. Lectures 11 & 12: synchronous sequential circuits minimization machine on the right. Two states si and sj are equivalent if and only if for every possible input sequence, the same output sequence will be produced regardless of whether si or sj is the initial state. A successor to state si is a state that it transitions to based on its input (not a sequence), e. g. s0 has s00 and s01 as its successors. We can differentiate successors by prefacing the word with the input, e. g. s00 is the 0- successor of s0, and s01 is the 1-successor of s0. We refer to all of the immediate successors of a state as its k- successors. A block is a subset of states that may be equivalent.