CT-200 - Fundamentos de Autômatos e Linguagens Formais