Prerequisites/Corequisites: # Take CS-318; Minimum grade C # Take MATH-230; Minimum grade C. (Required, Previous).
Credit Hours: Min: 3; Max:
Description: Introduction to the abstract concepts encountered in machine computation. Topics include finite automata, regular expressions, and formal languages, with emphasis on regular and context-free grammars. Questions related to decidability and undecidability are looked at by considering various models of computation including Turing machines, recursive functions, and universal machines.