Finite Automa and Models of Computation

Catalog description

Structure of finite state and combinational sequential machines. Partition and the substitution property. Homing and diagnosing experiments. Linear vs. non-linear machines. Deterministic vs. probabilistic machines. Impact on the design of efficient, reliable, and secure switching systems.