Sequential logic# State machines# Present state, next state representation# State machine minimization#