Autômatos finitos: teoria, algoritmos e aplicações

• Processo: 06/55597-8
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de outubro de 2006
• Data de Término da vigência: 30 de setembro de 2007
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Teoria da Computação
• Pesquisador responsável: Arnaldo Vieira Moura
• Beneficiário: Gustavo Lima Chaves
• Instituição Sede: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Assunto(s): Linguagens formais Autômatos finitos
• Palavra(s)-Chave do Pesquisador: Automatos | Automatos Temporizados | Linguagens Formais | Omega-Automatos

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íssimo material em língua portuguesa, até o presente momento. Além disso, serão abordados algoritmos eficientes para resolução de problemas da teoria de autômatos. A monografia será rica em exemplos e exercícios, de tal forma que poderá ser usada como texto didático, tanto por alunos de graduação quanto por alunos em início de pós-graduação, em uma futura disciplina criada pelo Instituto de Computação. (AU)