Sequential logic#

State machines#

Present state, next state representation#

State machine minimization#