This course is an introduction to sets of strings of symbols, their representations, structures, and properties. Abstract languages, formal grammars, productions, the Chomsky hierarchy, generation and recognition mechanisms for languages, and the relationship of formal languages to automata will be studied.