Ementa: Hierarquia de Chomsky. Linguagens regulares, livres de contexto, sensíveis ao contexto e enumeráveis recursivamente com seus respectivos teoremas e abstrações denotacionais, geradoras e reconhecedoras.