Pseudolinguagem para caracterizar funções recursivas

• Processo: 17/05030-6
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de maio de 2017
• Data de Término da vigência: 30 de abril de 2018
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Teoria da Computação
• Pesquisador responsável: Hércules de Araújo Feitosa
• Beneficiário: Pedro Henrique Paiola
• Instituição Sede: Faculdade de Ciências (FC). Universidade Estadual Paulista (UNESP). Campus de Bauru. Bauru , SP, Brasil
• Assunto(s): Computabilidade e complexidade Linguagem de programação
• Palavra(s)-Chave do Pesquisador: Computabilidade | Funções computáveis | Funções recursivas | Pseudocódigo | Pseudolinguagem | Lógica e Computabilidade

Resumo

Este projeto tem como base a teoria da computabilidade, com ênfase nas funções recursivas. O objetivo desta pesquisa é construir uma pseudolinguagem de programação bem estruturada, que seja sintaticamente similar à linguagem C, uma das linguagens de programação mais usadas no mundo. Partindo da definição de funções recursivas, com o conjunto de funções iniciais e regras para gerar novas funções, serão montadas as estruturas da pseudolinguagem e demonstrada a equivalência entre ambos os conceitos, procurando confirmar que a classe de funções computáveis por essa pseudolinguagem coincide com a classe das funções recursivas. (AU)