|
||||
Description: | ||||
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. | ||||
|