CPTR 345 Theory of Computation

Study of the basic theoretical principles of computer science. Areas covered include Chomsky's Hierarchy of formal languages, grammars, and machines; computability by Turing machines and recursive functions, non-computability, and computational complexity. Emphasis on practical implications. Offered even years only.