Computabilidade e Lógica

Matemática
Enumerabilidade, Diagonal de Cantor e Máquina de Turing

02/09/2020
Enumerabilidade
Listas e Funções
• Seja a sequência abaixo:

É uma lista não aceitável

• Já as listas, abaixo, são aceitáveis como enumeráveis:
2, 4, 6, 8, 10,... , onde f(n) = 2n
1, 3, 5, 7, 9, 11,... , onde f(n)=2n-1
2, 1, 4, 3, 6, 5, 8, 7,... , onde:
(𝑓𝑓 𝑛𝑛 = 𝑛𝑛 + 1, 𝑠𝑠𝑠𝑠 𝑛𝑛 é 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖 𝑜𝑜𝑜𝑜 𝑓𝑓 𝑛𝑛 = 𝑛𝑛 − 1, 𝑠𝑠𝑠𝑠 𝑛𝑛 é 𝑝𝑝𝑝𝑝𝑝𝑝
Conjuntos Enumeráveis
Conjuntos Enumeráveis
• Segunda Maneira: Organização do tipo Hotel Hilbert, mas sem incomodar os
hóspedes antigos. Para cada ônibus com infinitos passageiros que chega ao Hotel
são colocados em cada segundo quarto, aqueles que chegam na sequência são
colocados em cada segundo quarto entre aqueles que permanecem vazios, e
assim por diante. Para aplicar essas considerações aos pares na enumeração,
usemos casa segundo lugar ao listar os pares (1,n), cada segundo lugar
remanescente ao listar os pares (2,n), cada lugar remanescente ao listar os pares
(3,n), e assim por diante. Portanto, teremos:
Conjuntos Enumeráveis
• Codificador J para a função G
Admitamos que J(m,n) seja o número p tal que G(p) = (m,n), isto é, a posição p em
que o par (m,n) ocorre na enumeração correspondente a G. Antes de chegar ao par
(m,n), teremos que passar pelo par cujos elementos somam 2, os dois pares cujos
elementos somam 3, os três pares cujos elementos somam 4, e assim por diante,
até os m+n+2 pares cujos elementos somam m+n+1. O par (m,n) aparecerá no m-
ésimo lugar depois de todos esses pares, Assim, a posição do (m,n) será definida
por
Conjuntos Enumeráveis
• Codificador j para a função g
Os pares cujo primeiro elemento é 1 aparecerão nas posições cujos números são
ímpares (1,n) na posição 2n-1. Os pares cujo primeiro elemento é 2 aparecerão na
posição 2(2n-1). Os pares cujo primeiro elemento é 3 aparecerão nas posições nas
posições cujos números são o quádruplo de um ímpar, com (3,n) na posição 4(2n-1).
Em geral, em termos de potências de dois (20 = 1, 21 = 2, 22 = 4, e assim por diante),
(m,n) aparecerá na posição j(m,n) = 2m-1(2n-1).
Exercícios
1) Determine as posições dos pares (3,2), (6,5), (10,10), utilizando os
codificadores J e j.

2) Decodifique as funções posições G(12) e g(15) para obter os

respectivos pares (m,n)
Exemplos Propostos
Sistema Binário (Dicotômico)
• 3 volts = 0 e 5 volts = 1 (Eletrônica Digital)
• Operação Fundamental é a Multiplicação (clock do
processador)
• Álgebras e Homomorfismos
• Reticulados e Álgebra Booleana
Algoritmo e Funções Numéricas
• Um algoritmo é um conjunto finito de instruções que, numa dada
sequência lógica, realiza uma determinada tarefa. Um bom algoritmo
possui as seguintes características:
a) Entrada: Zero ou mais quantidades são supridas;
b) Saída: No mínimo uma quantidade é produzida;
c) Clareza: Toda instrução é clara e não ambígua;
d) Finitude: o algoritmo termina depois de um número finito de
passos;
e) Efetividade: deve ser básico, incluindo todas as instruções e
reprodutível em qualquer ambiente, seja em ambientes de
máquinas ou por abstração de raciocínio humano.
Funções Numéricas
• Utilização de Notação Unárias, admitindo que as máquinas de Turing
devem funcionar como aceitadores de linguagens;
• As máquinas devem operar como dispositivos mapeadoras de funções
numéricas, onde:
• Objetiva-se codificar o conjunto dos números naturais na notação
unária.
• Então o código para 0 é 1, o código para 1 é 11, 2 é 111, 3 é 1111, etc.
• nu simboliza o n codificado em unário.
Máquina de Turing e a Teoria de Autômatos

Hierarquias de Gramáticas de Chomsky

Máquina de Turing e a Teoria de Autômatos