Resumo
Este projeto de iniciação científica visa a redação e disponibilização pública de uma monografia sobre a teoria de linguagens formais e autômatos, contendo exemplos de aplicação. Serão abrangidos os seguintes modelos de autômatos: autômatos finitos determinísticos e não-determinísticos, máquinas de Turing, w-autômatos e autômatos temporizados. Os dois últimos modelos citados têm pouquíssi…