Alfabetos e linguagens. Gramáticas. Autômatos finitos e linguagens regulares. Máquinas de pilha e linguagens livres de contexto. Máquinas de Turing. Fundamentos de linguagens de programação. Definição e caracterização dos principais paradigmas de programação: linguagens imperativas, orientadas a objetos, funcionais e lógicas.