CS 466/666 is an introduction to formal language and automata theory. In this course we will examine methods for defining the syntax of languages and recognizing patterns. The syntax of languages can be defined using grammars and patterns can be described by regular expressions and accepted by finite state machines. Along with presenting the fundamentals of these topics, the course will develop and investigate the relationships between language definition and pattern recognition.