Estuda linguagens regulares, autômatos finitos, gramáticas livres de contexto e máquinas de Turing. Exercícios ligam os modelos formais a analisadores, protocolos e padrões de texto.
