Artigo Programas Recursivos

Programas Recursivos e conversão de Programas Monolíticos 1
Cláudia Santos Fernandes, Daniela Tereza Ascencio Russi,
Francisco Assis da Silva, Liliane Jacon Jacob
Mestrado Remoto da UFRGS/FACCAR
E-mail: {claudia, daniela, chico, liliane}@apec.unoeste.br

Abstract
The basic concepts of programs, monolithic programs and recursive programs provide a theory basis needed to introduce other concepts on Computer Science. The propose of this article is to present the software “Recursive Programs” which permits conversion of monolithic programs into simple labeled instructions to a recursive program, and also simplifying it. The proposal to use the software is to be used as a tool to teach computer theory subject. This article presents the computer environment with the procedures to install and execute, the help system, as well as examples of how to use this software.

1 - Introdução
O estudo de Teoria da Computação proporciona um embasamento teórico para um melhor entendimento da ciência envolvida na computação, necessário para o desenvolvimento do raciocínio lógico e formal de aluno de Ciência da Computação.
Este estudo compreende noções mais formais de programas, máquinas, algoritmos e computações, estabelecendo os limites da ciência da computação (onde nem tudo é computável). Os conceitos básicos de programas, máquinas e funções computáveis são de vital importância para a Ciência da Computação, pois são o alicerce para as disciplinas que tratam de linguagens de programação. É necessário formalizar esses conceitos para que seja possível estender e aprofundar o estudo em Teoria da Computação, tais como: computação, Máquinas Universais, funções recursivas, computabilidade, etc.
Em Teoria da Computação são introduzidos os conceitos fundamentais que são desenvolvidos em outras áreas, e um dos tópicos estudado é sobre a complexidade estrutural que diz respeito à estrutura de controle adotada e à otimização em termos de número de instruções e da eliminação de instruções