Theoretical Computer Science

3 Units

Introduction to different classes of automata and their correspondence to different classes of formal languages and grammars, computability, complexity and various proof techniques. Offered as CSDS 343 and MATH 343 . Prereq: MATH 304 and CSDS 310 .