Resolução de exercícios sobre conversão de expressões regulares para DFAs minimizados, sobre escrita de gramáticas para linguagens livres de contexto, e sobre derivações com gramáticas livres de contexto.