Once a year
Review of Boolean algebra and combinatorial circuits. Karnaugh maps. Finite-state
transducers. Deterministic and non-deterministic finite-state automata. State
minimization, incompletely specified machines, testing sequences. Lattices, regular
sets.