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: CSDS 302 or MATH 304 .