Pseudo-language to characterize recursive functions

• Grant number: 17/05030-6
• Support Opportunities: Scholarships in Brazil - Scientific Initiation
• Start date: May 01, 2017
• End date: April 30, 2018
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Theory of Computation
• Principal Investigator: Hércules de Araújo Feitosa
• Grantee: Pedro Henrique Paiola
• Host Institution: Faculdade de Ciências (FC). Universidade Estadual Paulista (UNESP). Campus de Bauru. Bauru , SP, Brazil

Abstract

This project is based on computability theory, with emphasis on recursive functions. The objective of this research is to construct a well-structured programming pseudo-language, syntactically similar to the C language, which is one of the most used programming languages in the world. Starting from the definition of recursive functions, with the set of initial functions and rules for obtaining new functions, the structures of the pseudo-language will be constructed, and the equivalence between both concepts will be demonstrated, trying to confirm that the class of computable functions by this pseudo-language is equivalent to the class of recursive functions. (AU)