Autômatos e algoritmos de busca de padrões

• Processo: 00/01743-7
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de agosto de 2000
• Data de Término da vigência: 31 de dezembro de 2000
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Teoria da Computação
• Pesquisador responsável: Nami Kobayashi
• Beneficiário: Rodrigo Nonamor Pereira Mariano de Souza
• Instituição Sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Assunto(s): Teoria dos autômatos Autômatos finitos Algoritmos
• Palavra(s)-Chave do Pesquisador: Arvore Dos Sufixos | Automato Dos Sufixos | Automato Finito | Expressao Regular

Resumo

O estudo de autômatos finitos torna-se mais interessantes por suas inúmeras aplicações práticas. Dentre elas, existem diversos algoritmos de busca de padrões que têm sido utilizados, por exemplo, em editores, compiladores, dicionários e vários problemas da biologia molecular computacional. Neste projeto pretendemos estudar alguns tópicos referentes à Teoria dos Autômatos Finitos e vários algoritmos de busca de padrão, incluindo algumas implementações. (AU)