Você está na página 1de 27

Teoria da Computao

Codificao de Conjuntos Estruturados Nmero de


Godel

Cincia da Computao IFSULDEMINAS

Primeiro Semestre de 2014

Codificao de Conjuntos Estruturados

Permite representar de tipos de dados estruturados por meio de


nmeros naturais.
Para um conjunto estruturado X a idia definir uma funo
injetora:
c: X N
O nmero natural c(x) a codificao do conjunto estruturado x.
Se c(x) = c(y), ento x = y.

(Cincia da Computao IFSULDEMINAS)

Teoria

Primeiro Semestre de 2014

2 / 10

Codificao de Conjuntos Estruturados

Permite representar de tipos de dados estruturados por meio de


nmeros naturais.
Para um conjunto estruturado X a idia definir uma funo
injetora:
c: X N
O nmero natural c(x) a codificao do conjunto estruturado x.
Se c(x) = c(y), ento x = y.

(Cincia da Computao IFSULDEMINAS)

Teoria

Primeiro Semestre de 2014

2 / 10

Codificao de Conjuntos Estruturados

Permite representar de tipos de dados estruturados por meio de


nmeros naturais.
Para um conjunto estruturado X a idia definir uma funo
injetora:
c: X N
O nmero natural c(x) a codificao do conjunto estruturado x.
Se c(x) = c(y), ento x = y.

(Cincia da Computao IFSULDEMINAS)

Teoria

Primeiro Semestre de 2014

2 / 10

Codificao de Conjuntos Estruturados

Permite representar de tipos de dados estruturados por meio de


nmeros naturais.
Para um conjunto estruturado X a idia definir uma funo
injetora:
c: X N
O nmero natural c(x) a codificao do conjunto estruturado x.
Se c(x) = c(y), ento x = y.

(Cincia da Computao IFSULDEMINAS)

Teoria

Primeiro Semestre de 2014

2 / 10

Nmero de Godel

Suponha codificar elementos de N n como nmeros naturais: c:


N n N.
Uma codificao Nmero de Godel:
I

I
I

Teorema fundamental da aritmtica: cada nmero natural


decomposto univocamente em seus fatores primos.
Suponha os n primeiros nmeros primos denotados por p1 = 2, p2 = 3,
p3 = 5 ...
Suponha que (x1 , x2 , ..., xn ) N n
A codificao c: N n N definida unvoca:
c(x1 , x2 , ..., xn ) = p1x 1 p2x 2 ... pnxn

(Cincia da Computao IFSULDEMINAS)

Teoria

Primeiro Semestre de 2014

3 / 10

Nmero de Godel

Suponha codificar elementos de N n como nmeros naturais: c:


N n N.
Uma codificao Nmero de Godel:
I

I
I

Teorema fundamental da aritmtica: cada nmero natural


decomposto univocamente em seus fatores primos.
Suponha os n primeiros nmeros primos denotados por p1 = 2, p2 = 3,
p3 = 5 ...
Suponha que (x1 , x2 , ..., xn ) N n
A codificao c: N n N definida unvoca:
c(x1 , x2 , ..., xn ) = p1x 1 p2x 2 ... pnxn

(Cincia da Computao IFSULDEMINAS)

Teoria

Primeiro Semestre de 2014

3 / 10

Nmero de Godel

Suponha codificar elementos de N n como nmeros naturais: c:


N n N.
Uma codificao Nmero de Godel:
I

I
I

Teorema fundamental da aritmtica: cada nmero natural


decomposto univocamente em seus fatores primos.
Suponha os n primeiros nmeros primos denotados por p1 = 2, p2 = 3,
p3 = 5 ...
Suponha que (x1 , x2 , ..., xn ) N n
A codificao c: N n N definida unvoca:
c(x1 , x2 , ..., xn ) = p1x 1 p2x 2 ... pnxn

(Cincia da Computao IFSULDEMINAS)

Teoria

Primeiro Semestre de 2014

3 / 10

Nmero de Godel

Suponha codificar elementos de N n como nmeros naturais: c:


N n N.
Uma codificao Nmero de Godel:
I

I
I

Teorema fundamental da aritmtica: cada nmero natural


decomposto univocamente em seus fatores primos.
Suponha os n primeiros nmeros primos denotados por p1 = 2, p2 = 3,
p3 = 5 ...
Suponha que (x1 , x2 , ..., xn ) N n
A codificao c: N n N definida unvoca:
c(x1 , x2 , ..., xn ) = p1x 1 p2x 2 ... pnxn

(Cincia da Computao IFSULDEMINAS)

Teoria

Primeiro Semestre de 2014

3 / 10

Nmero de Godel

Suponha codificar elementos de N n como nmeros naturais: c:


N n N.
Uma codificao Nmero de Godel:
I

I
I

Teorema fundamental da aritmtica: cada nmero natural


decomposto univocamente em seus fatores primos.
Suponha os n primeiros nmeros primos denotados por p1 = 2, p2 = 3,
p3 = 5 ...
Suponha que (x1 , x2 , ..., xn ) N n
A codificao c: N n N definida unvoca:
c(x1 , x2 , ..., xn ) = p1x 1 p2x 2 ... pnxn

(Cincia da Computao IFSULDEMINAS)

Teoria

Primeiro Semestre de 2014

3 / 10

Exemplo Nmero de Godel

Seja A um arranjo unidimensional com os valores:


I
I
I
I
I

A[1]
A[2]
A[3]
A[4]
A[5]

=
=
=
=
=

5
2
0
3
1

Codificao de A:
A = 25 32 50 73 111

(Cincia da Computao IFSULDEMINAS)

Teoria

Primeiro Semestre de 2014

4 / 10

Exemplo Nmero de Godel

Seja A um arranjo unidimensional com os valores:


I
I
I
I
I

A[1]
A[2]
A[3]
A[4]
A[5]

=
=
=
=
=

5
2
0
3
1

Codificao de A:
A = 25 32 50 73 111

(Cincia da Computao IFSULDEMINAS)

Teoria

Primeiro Semestre de 2014

4 / 10

Codificao de Programas Monolticos

Um programa monoltico pode ser codificado como um nmero


natural.
Possveis instrues de programas monolticos:
I
I

Operao: r1 : faa Fk v para r2


Teste: r1 : se Tk ento v para r2 seno v para r3

Cada instruo pode ser representada por uma qudrupla:


I
I

Operao: (0, k, r2 , r2 )
Teste: (1, k, r2 , r3 )

(tipo instruo, k-simo teste ou operao, rtulo sucessor, rtulo


sucessor)

(Cincia da Computao IFSULDEMINAS)

Teoria

Primeiro Semestre de 2014

5 / 10

Codificao de Programas Monolticos

Um programa monoltico pode ser codificado como um nmero


natural.
Possveis instrues de programas monolticos:
I
I

Operao: r1 : faa Fk v para r2


Teste: r1 : se Tk ento v para r2 seno v para r3

Cada instruo pode ser representada por uma qudrupla:


I
I

Operao: (0, k, r2 , r2 )
Teste: (1, k, r2 , r3 )

(tipo instruo, k-simo teste ou operao, rtulo sucessor, rtulo


sucessor)

(Cincia da Computao IFSULDEMINAS)

Teoria

Primeiro Semestre de 2014

5 / 10

Codificao de Programas Monolticos

Um programa monoltico pode ser codificado como um nmero


natural.
Possveis instrues de programas monolticos:
I
I

Operao: r1 : faa Fk v para r2


Teste: r1 : se Tk ento v para r2 seno v para r3

Cada instruo pode ser representada por uma qudrupla:


I
I

Operao: (0, k, r2 , r2 )
Teste: (1, k, r2 , r3 )

(tipo instruo, k-simo teste ou operao, rtulo sucessor, rtulo


sucessor)

(Cincia da Computao IFSULDEMINAS)

Teoria

Primeiro Semestre de 2014

5 / 10

Codificao de Programas Monolticos

Um programa monoltico pode ser codificado como um nmero


natural.
Possveis instrues de programas monolticos:
I
I

Operao: r1 : faa Fk v para r2


Teste: r1 : se Tk ento v para r2 seno v para r3

Cada instruo pode ser representada por uma qudrupla:


I
I

Operao: (0, k, r2 , r2 )
Teste: (1, k, r2 , r3 )

(tipo instruo, k-simo teste ou operao, rtulo sucessor, rtulo


sucessor)

(Cincia da Computao IFSULDEMINAS)

Teoria

Primeiro Semestre de 2014

5 / 10

Etapas da Codificao

Codificao de Instruo: cada instruo codificada por uma


qudrupla que representa um nmero natural.
Codificao de Programa: o programa P codificado como um
nmero natural, por meio das m codificaes de instrues.

(Cincia da Computao IFSULDEMINAS)

Teoria

Primeiro Semestre de 2014

6 / 10

Etapas da Codificao

Codificao de Instruo: cada instruo codificada por uma


qudrupla que representa um nmero natural.
Codificao de Programa: o programa P codificado como um
nmero natural, por meio das m codificaes de instrues.

(Cincia da Computao IFSULDEMINAS)

Teoria

Primeiro Semestre de 2014

6 / 10

Exemplo
Programa Monoltico Q
1:
2:
3:
4:
5:
6:
7:
8:

faa
se T
faa
se T
faa
se T
faa
se T

F v para 2
ento v para
G v para 4
ento v para
F v para 6
ento v para
G v para 8
ento v para

3 seno v para 5
1 seno v para 0
7 seno v para 2
6 seno v para 0

A codificao do programa monoltico dada pela codificao de suas oito


instrues (i1 , i2 , i3 , i4 , i5 , i6 , i7 , i8 ).
Tomando F = 1, G = 2 e T = 1.
A correspondente codificao c(i1 , i2 , i3 , i4 , i5 , i6 , i7 , i8 ) o nmero natural q
dado por:
q = 2i1 3i2 5i3 7i4 11i5 13i6 17i7 19i8
(Cincia da Computao IFSULDEMINAS)

Teoria

Primeiro Semestre de 2014

7 / 10

Exemplo
Programa Monoltico Q
1:
2:
3:
4:
5:
6:
7:
8:

faa
se T
faa
se T
faa
se T
faa
se T

F v para 2
ento v para
G v para 4
ento v para
F v para 6
ento v para
G v para 8
ento v para

3 seno v para 5
1 seno v para 0
7 seno v para 2
6 seno v para 0

A codificao do programa monoltico dada pela codificao de suas oito


instrues (i1 , i2 , i3 , i4 , i5 , i6 , i7 , i8 ).
Tomando F = 1, G = 2 e T = 1.
A correspondente codificao c(i1 , i2 , i3 , i4 , i5 , i6 , i7 , i8 ) o nmero natural q
dado por:
q = 2i1 3i2 5i3 7i4 11i5 13i6 17i7 19i8
(Cincia da Computao IFSULDEMINAS)

Teoria

Primeiro Semestre de 2014

7 / 10

Exemplo
Programa Monoltico Q
1:
2:
3:
4:
5:
6:
7:
8:

faa
se T
faa
se T
faa
se T
faa
se T

F v para 2
ento v para
G v para 4
ento v para
F v para 6
ento v para
G v para 8
ento v para

3 seno v para 5
1 seno v para 0
7 seno v para 2
6 seno v para 0

A codificao do programa monoltico dada pela codificao de suas oito


instrues (i1 , i2 , i3 , i4 , i5 , i6 , i7 , i8 ).
Tomando F = 1, G = 2 e T = 1.
A correspondente codificao c(i1 , i2 , i3 , i4 , i5 , i6 , i7 , i8 ) o nmero natural q
dado por:
q = 2i1 3i2 5i3 7i4 11i5 13i6 17i7 19i8
(Cincia da Computao IFSULDEMINAS)

Teoria

Primeiro Semestre de 2014

7 / 10

Exemplo
Programa Monoltico Q
1:
2:
3:
4:
5:
6:
7:
8:

faa
se T
faa
se T
faa
se T
faa
se T

F v para 2
ento v para
G v para 4
ento v para
F v para 6
ento v para
G v para 8
ento v para

3 seno v para 5
1 seno v para 0
7 seno v para 2
6 seno v para 0

A codificao do programa monoltico dada pela codificao de suas oito


instrues (i1 , i2 , i3 , i4 , i5 , i6 , i7 , i8 ).
Tomando F = 1, G = 2 e T = 1.
A correspondente codificao c(i1 , i2 , i3 , i4 , i5 , i6 , i7 , i8 ) o nmero natural q
dado por:
q = 2i1 3i2 5i3 7i4 11i5 13i6 17i7 19i8
(Cincia da Computao IFSULDEMINAS)

Teoria

Primeiro Semestre de 2014

7 / 10

Exemplo

Qudrupla
(0, 1, 2, 2)
(1, 1, 3, 5)
(0, 2, 4, 4)
(1, 1, 1, 0)
(0, 1, 6, 6)
(1, 1, 7, 2)
(0, 2, 8, 8)
(1, 1, 6, 0)

Codificao Instruo
i1 = 20 31 52 72
i2 = 21 31 53 75
i3 = 20 32 54 74
i4 = 21 31 51 70
i5 = 20 31 56 76
i6 = 21 31 57 72
i7 = 20 32 58 78
i8 = 21 31 56 70

q = 23675 312605250 513505625 730 ... 1993750

(Cincia da Computao IFSULDEMINAS)

Teoria

Primeiro Semestre de 2014

8 / 10

Exemplos

Suponha um programa P decomposto em fatores primos:


P = (2150 ) (3105 )
Duas instrues rotuladas:
I
I

150 = 21 31 52 70
105 = 20 31 51 71

Programa:
1: se T ento v para 2 seno v para 0
2: faa F v para 1

(Cincia da Computao IFSULDEMINAS)

Teoria

Primeiro Semestre de 2014

9 / 10

Exemplos

Suponha um programa P decomposto em fatores primos:


P = (2150 ) (3105 )
Duas instrues rotuladas:
I
I

150 = 21 31 52 70
105 = 20 31 51 71

Programa:
1: se T ento v para 2 seno v para 0
2: faa F v para 1

(Cincia da Computao IFSULDEMINAS)

Teoria

Primeiro Semestre de 2014

9 / 10

Exemplos

Suponha um programa P decomposto em fatores primos:


P = (2150 ) (3105 )
Duas instrues rotuladas:
I
I

150 = 21 31 52 70
105 = 20 31 51 71

Programa:
1: se T ento v para 2 seno v para 0
2: faa F v para 1

(Cincia da Computao IFSULDEMINAS)

Teoria

Primeiro Semestre de 2014

9 / 10

Exerccios

4.3, pgina 123

4.8, pgina 124

4.9, pgina 125

(Cincia da Computao IFSULDEMINAS)

Teoria

Primeiro Semestre de 2014

10 / 10