trabalho de fundamentos da teoria da computação

1)Programa Monolítico
É um programa estruturado, usando desvios condicionais e incondicionais, sem fazer uso explícito de mecanismos auxiliares de programação que permitam uma melhor estruturação do controle como iteração, subdivisão ou recursão. O programa monolítico pode ser especificado na forma de fluxograma (diagramática), mas além dessa forma pode também ser denotado na forma de texto (melhor descrito), através do uso de instruções rotuladas. Onde cada instrução rotulada é identificada por um rótulo(cadeia de caracteres finita (letras e/ou dígitos)), sendo:
Operação: indica a operação a ser executada seguida de um desvio incondicional para a instrução subsequente.
Teste: determina um desvio condicional, ou seja, que depende da avaliação de um teste.Onde:
Não existem duas instruções diferentes com um mesmo rótulo.
E a parada é especificada usando um desvio incondicional para um rótulo sem instrução associada (instrução vazia).
Exemplo fluxograma programa monolítico:

2 ) Programa Iterativo
Substituem desvios incondicionais por estruturas cíclicas, permitindo um melhor controle e manutenção de programas.
A noção de programa iterativo deu origem às técnicas de programação estruturada, inspirando toda uma geração de linguagens como Pascal.
São baseados em três mecanismos de composição de instruções, encontrados em diversas linguagens: Algol 68, Pascal, Ada, Fortran 90, etc
Sequencial
Condicional
Enquanto (Até)

Definição: Programa Iterativo
Um programa Iterativo P é descrito indutivamente como se segue:
a. A operação vazia  constitui um programa iterativo.
b. Cada identificador de operação constitui um programa iterativo.
c. Composição Sequencial: Se V e W são programas iterativos, então a composição sequencial denotada por V;W é um programa iterativo, cujo efeito é a execução de V e após de W.
d. Composição Condicional
e. Composição Enquanto
f. Composição Até
Parênteses