Este documento discute a minimização de autômatos. Ele apresenta as motivações para se minimizar autômatos, que é encontrar o autômato finito determinístico mínimo para representar uma linguagem regular. Também apresenta pré-requisitos para a minimização, como o autômato ser determinístico, completo e não ter estados inacessíveis.