Programas,
Máquinas e
Computações
Funções computadas
<P,M>: X -> Y
Valor inicial de memória é dado pela
função de entrada
V0πx(x)
A imagem é dada pela função de saída
aplicada ao último valor da memória na
computação
<P,M>(x) = πy(Vn)
Equivalência
de Programas
Equivalencia Forte
Para um par de programas, as
correspondentes funções computadas
concidem para QUALQUER máquina
Equivalência
Para um par de programas, as
correspondentes funções computadas
coincidem para uma DADA máquina
Equivalência
de Máquinas uma pode simular a outra
Computações
Histórico das instruções executadas e o
correspondente valor de memória
Cadeia de pares
(s0, v0)
Exemplo: (1, (3,0))
Máquinas
Objetivo: dar significado aos identificadores
para cada identificador existe somente uma função associada
M=(V, X, Y, πx, πy, πx, ПF, ПT)
Programas
Monolítico
Desvios condicionais e incondicionais
Rótulos
Mais próximo dos fluxogramas
Iterativo
Estruturas de ciclos e repetições
Sequencial
Condicional
enquanto
até
Recursivo
Forma indutiva
Estruturação hierárquica
Sub-rotinas
Exemplos: fatorial, série de fibonacci
Conceitos Básicos
Alfabeto
Palavra
Tamanho de uma Palavra
Prefixo, Sufixo e Subpalavra
Linguagem Formal
Concatenação
Programas, Máquinas e Computações.mmap - 25/03/2009 -
