Study of finite-state automata, their structure, decomposition and homomorphisms. Prereq: CMPS 440 or consent of instructor. Same as EECE 541.