Aula 1 Teoria da Computação Máquina de Turing

Apresentação em tema: "Aula 1 Teoria da Computação Máquina de Turing"— Transcrição da apresentação:

1 Aula 1 Teoria da Computação Máquina de Turing

2 Roteiro da Aula Descrever uma linguagem de computação simples
Escrever macros da linguagem de computação simples Descrever os componentes da máquina de Turing Simulação da linguagem simples na Máquina de Turing

3 Pioneiros da computação
Alan Turing Kurt Godel Marvin Minsky Alonso Church

4 Linguagem simples Instrução de incremento Instrução de decremento
inc (X) Instrução de decremento decr (X) Instrução de laço While (X) { Corpo do laço }

5 Macros em Linguagem simples
Primeira macro: X  0 While (X) { decr (X) } Segunda macro: X  N X  0 Incr (X) ... incr (X)

6 Macros em Linguagem simples
Terceira macro: Y  X Y  0 While (X) { decr (X) incr (Y) } Quarta macro: Y = Y + X

7 Macros em Linguagem simples
Quinta macro: Y  Y x X TEMP  Y While (X) { decr (X) Y  Y + TEMP } x Sexta macro: Y = Y Y  Y x TEMP

8 Macros em Linguagem simples
Sétima macro: IF X then A While (X) { decr (X) A } Simula a tomada de decisão IF (se) existentes nas linguagens A variável X tem apenas dois valores: Se o valor de X não for 0, uma ação A é executada no laço

9 A Máquina de Turing É a base conceitual dos computadores até os dias de hoje Apresentada por Alan Turing em 1936, possui 3 componentes: Fita infinita Controlador Cabeçote de leitura / Escrita

10 A Máquina de Turing

11 A Máquina de Turing (A,b,b,D,A) 3. (B,b,1,D,B) 5. (C,b,b,E,A)
(A,1,1,D,B) 4. (B,1,b,N,C) 6. (C,1,1,E,B)

12 Exemplo da Máquina de Turing
1. (A,b,b,E,A) 2. (A,1,1,D,B) 3. (B,b,b,E,A) 4. (B,1,b,D,A)

13 Simulação de linguagem Simples
Instrução de incremento: incr (X)

14 Simulação de linguagem Simples
Incrementar X quando X = 2 (11 no sistema unário)

15 Simulação de linguagem Simples
Instrução de decremento: decr (X)

16 Simulação de linguagem Simples
Decrementar X quando X = 2 (11 no sistema unário)

17 Simulação de linguagem Simples
Instrução de laço: while (X)

18 Simulação de linguagem Simples
Quarta macro: Y  Y + X While (X) { decr (X) incr (Y) } Considere X = 2 e Y = 3

19 Simulação de linguagem Simples
Quarta macro: Y  Y + X (Primeira iteração)

20 Simulação de linguagem Simples
Quarta macro: Y  Y + X (Segunda iteração)

21 Tese de Church-Turing Máquina de Turing é capaz de ...
simular as 3 instruções básicas de uma linguagem simples e as macros resolver qualquer problema que possa ser resolvido por um computador TESE de CHURCH-TURING: Se existe um algoritmo para fazer uma tarefa para manipulação de símbolos, existe uma máquina de Turing para realiza-la.