Universidade Estadual de Campinas (UNICAMP). Instituto de Computação (IC) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Gustavo Lima Chaves em auxílios à pesquisa e bolsas apoiadas pela FAPESP.
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
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…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |