Autômatos finitos; Expressões regulares; Gramáticas regulares; Equivalência entre os modelos; Propriedades de linguagens regulares; Autômatos a pilha determinísticos e não determinísticos; Gramáticas livres de contexto, propriedades de LCC; Ambigüidade; Autômatos 'linear-bounded'; Linguagens sensíveis ao contexto; A hierarquia de Chomsky.