Computabilidade

2 PROGRAMAS, MQUINAS E COMPUTAES

Programas Programa Monoltico Programa Iterativo Programa Recursivo Mquinas Computaes e Funes Computadas Computao Funo Computada

2 PROGRAMAS, MQUINAS E COMPUTAES

O conceito de programa
jum conjunto de operaes e testes compostos de acordo com uma estrutura de controle. jO tipo de estrutura de controle associada determina uma classificao de programas como: monoltico: baseada em desvios condicionais e incondicionais; iterativo: possui estruturas de iterao de trechos de programas; recursivo: baseado em sub-rotinas recursivas.

2 PROGRAMAS, MQUINAS E COMPUTAES

O conceito de mquina
jinterpreta os programas de acordo com os dados fornecidos. j capaz de interpretar um programa desde que possua uma interpretao para cada operao ou teste que constitui o programa.

2 PROGRAMAS, MQUINAS E COMPUTAES

Computao um histrico do funcionamento da mquina para o programa, considerando um valor inicial. Funo computada uma funo (parcial) induzida a partir da mquina e do programa dados. definida sempre que, para um dado valor de entrada, existe uma computao finita (a mquina pra).

PROGRAMAS
Um conjunto estruturado de instrues que capacitam uma mquina aplicar sucessivamente certas operaes bsicas e testes em dados iniciais fornecidos, at que esses dados se transformem na forma desejada Composio de Instrues
Composio Seqencial Composio No-Determinista Composio Concorrente

PROGRAMAS
Instrues: Operaes e Testes
j Identificadores de Operaes: F, G, H, ... j Identificadores de Testes: T1, T2, T3, ...

Teste -> verdadeiro ou falso (v ou f) uma operao que no faz coisa alguma, denominada: operao vazia, denotada pelo smbolo 

PROGRAMA MONOLTICO
Fluxogramas
uma das formas mais comuns de especificar programas monolticos; um diagrama geomtrico construdo a partir de componentes elementares denominados

partida

parada

operao

teste

PROGRAMA MONOLTICO
Instrues rotuladas
jFluxogramas podem ser reescritos na forma de texto, usando instrues rotuladas. So utilizados rtulos. jUma instruo rotulada pode ser: Operao Teste Parada A computao sempre inicia no rtulo 1

PROGRAMA MONOLTICO
1: 2: 3: 4: faa F v_para 2 se T1 ento v_para 1 seno faa G v_para 4 se T2 ento v_para 5 seno

v_para 3

v_para 1

PROGRAMA MONOLTICO
Formalizao Um Rtulo ou Etiqueta uma cadeia de caracteres finita constituda de letras ou dgitos Uma Instruo Rotulada i uma seqncia de smbolos de uma das duas formas a seguir Operao r1: faa F v_para r2 Teste r1: se T ento v_para r2 seno v_para r3

PROGRAMA MONOLTICO
Um Programa Monoltico P um par ordenado P = (I, r) onde
I Conjunto de Instrues Rotuladas o qual finito r Rtulo Inicial o qual distingue a instruo rotulada inicial em I um rtulo referenciado por alguma instruo o qual no associado a qualquer instruo rotulada dito um Rtulo Final A definio de Programa Monoltico requer a existncia de pelo menos uma instruo, identificada pelo rtulo inicial

Exemplo de Programa Monoltico

Partida P = (I,00) F T1 F G F T2 V Parada V I={ 00: begin 01: do F goto 02 02: if T1 then goto 01 else goto 03 03: do G goto 04 04: if T2 then goto 05 else goto 01 05: end }

Programa Monoltico - Comentrios

A lgica distribuda por todo o bloco que constitui o programa. estruturado por desvios condicionais e incondicionais considerado Robusto (?), porm, de escassos recursos Representao: Podem ser bem especificados por fluxogramas; as instrues rotuladas so tambm muito utilizadas