Abstract models of the definition and recognition of languages. Including production grammars and various abstract machine recognizers, and classification of languages induced by such recognizers. Prereq: CMPS 44O or consent of instructor.