Académique Documents
Professionnel Documents
Culture Documents
MQUINAS
UNIVERSAIS
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
________________________________________________________________________________________
3 Mquinas Universais
3 MQUINAS UNIVERSAIS
Algoritmo
Mquina
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
0
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
1
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
Mquina Universal
Se for possvel representar qualquer algoritmo como um programa
em tal mquina, ento esta denominada de mquina universal.
As evidncias de que uma mquina universal:
Evidncia Interna. Consiste na demonstrao de que qualquer
extenso das capacidades da mquina universal proposta computa,
no mximo, a mesma classe de funes, ou seja, no aumenta o seu
poder computacional;
Evidncia Externa. Consiste no exame de outros modelos que
definem a noo de algoritmo, juntamente com a prova de que so,
no mximo, computacionalmente equivalentes.
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
3
MQUINAS
UNIVERSAIS
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
________________________________________________________________________________________
Processar
propriedades;
b)
c)
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
4
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
5
MQUINAS
UNIVERSAIS
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
________________________________________________________________________________________
Teste.
r1:se Tk ento v_para r2 seno v_para r3
1:
2:
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
faa
se T
faa
se T
F v_para 2
ento v_para 3 seno v_para 1
G v_para 4
ento v_para 1 seno v_para 0
3 seno v_para 5
1 seno v_para 0
7 seno v_para 2
6 seno v_para 0
b) M2:
1:
2:
3:
4:
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
7
MQUINAS
UNIVERSAIS
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
________________________________________________________________________________________
em verdadeiro, se a
componente correspondente ao registrador K for zero e em
falso, caso contrrio. K=0?
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
8
MQUINAS
UNIVERSAIS
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
________________________________________________________________________________________
A := 0;
A := A+1;
A := A+1;
A := A+1
EXEMPLO 3.5 Adio de Dois Registradores.
A macro correspondente operao de adio do valor do
registrador B ao do registrador A, denotada por: A : = A + B
Programa Iterativo A : = A + B:
at B = 0
faa (A := A + 1; B := B - 1)
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
10
A := 0;
A := A + B usando C
EXEMPLO 3.8 Multiplicao de Dois Registradores.
A definio de uma macro de multiplicao requer dois
registradores de trabalho.
Programa Iterativo A := A B usando C, D:
C := 0;
at A = 0
faa (C := C + 1; A := A - 1);
at C = 0
faa (A := A + B usando D; C := C - 1)
correspondente a uma macro cuja operao a multiplicao do valor do
registrador B pelo valor do registrador A, usando dois registradores de
trabalho C e D
MQUINAS
UNIVERSAIS
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
________________________________________________________________________________________
A := 1;
D := B;
at D = 0
faa (D := D - 1;
A := A + 1;
at teste_primo(A) usando C
faa (A := A + 1) )
a atribuio do n-simo nmero primo a um registrador A,
usando um registrador de trabalho D,
Programa Iterativo A := A + 1:
(se A1 = 0
ento A2 := A2 + 1
seno A2 := A2 - 1;
(se A2 = 0
ento A1 := A1 1
seno 4) )
EXERCCIOS:
Programa Iterativo A := A - 1:
( se A1 = 0
ento (se A2 = 0
ento A1:= A1 +1;
A2 := A2 +1
seno A2:= A2 -1)
seno A2:= A2 + 1)
Programa Iterativo A = 0 ?
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
12
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
13
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
UNIVERSAIS
MQUINAS
________________________________________________________________________________________
(a, b) = (c, d)
ad = bc
EXERCCIO:
Desenvolva os programas iterativos em Norma
implementam as operaes entre nmeros racionais.
que
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
14
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
15
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
a) Indexao Direta.
Programa Iterativo adA(n) usando C
C := pn;
A := A C
Programa Iterativo subA(n) usando C
C := pn;
(se teste_div(A, C)
ento A := A / C
seno 4)
Programa Iterativo zeroA(n) usando C
C := pn;
(se teste_div(A, C)
ento falso
seno verdadeiro)
b) Indexao Indireta.
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
desempilha
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
16
sentido
de
crescimento
base
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
17
MQUINAS
UNIVERSAIS
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
________________________________________________________________________________________
partida
Programa
Monoltico
End_A
f
A:=A-1
f
A:=A-1
parada
v
A=0
...
A:=A-1
v
A=0
A:=A+1
v
A=0
A:=A+1
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
19
MQUINAS
UNIVERSAIS
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
________________________________________________________________________________________
marcador de
incio de fita
fita
entrada
cabea
da fita
controle
branco
...
unidade de
controle
Fita.
Unidade de Controle
q0
F
V
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
20
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
21
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
estado corrente
smbolo lido
novo estado
sentido do movimento
smbolo gravado
Figura 3.4 Representao da funo programa como um grafo
q0
qf
Figura 3.5 Representao de um estado inicial (esq.) e final (dir.) como nodos de grafos
au
av
p
(q, av, m)
q
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
(A, A, D)
q0
(a, A, D)
(I, I, D)
(B, B, D)
(, , D)
q3
q1
(b, B, E)
(a, a, D)
(B, B, D)
q2
(a, a, E)
(B, B, E)
(B, B, D)
(, , E)
ACEITA(M) REJEITA(M) =
ACEITA(M) LOOP(M) =
REJEITA(M) LOOP(M) =
ACEITA(M) REJEITA(M) LOOP(M) =
ACEITA(M) REJEITA(M) LOOP(M) = *
*
ACEITA(M)
REJEITA(M)
LOOP(M)
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
24
q4
q0
q1
q2
q3
q4
b
(q0, b, D)
a
(q1, A, D)
(q1, a, D)
(q2, a, E)
(q2, B, E)
(q0, A, D)
B
(q3, B, D)
(q1, B, D)
(q2, B, E)
(q3, B, D)
(q4, , D)
(q4, , E)
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
25
MQUINAS
UNIVERSAIS
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
________________________________________________________________________________________
...
q0
...
...
...
q2
...
...
...
...
...
...
...
q1
...
q2
B
q3
...
q2
q1
q2
q1
q0
q0
q1
q0
...
q3
q4
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
26
...
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
27
MQUINAS
UNIVERSAIS
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
________________________________________________________________________________________
MQUINAS
UNIVERSAIS
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
________________________________________________________________________________________
q0
q1
q2
q3
q4
b
(q0, b, D)
a
(q0, a, D)
(q2, , E)
(q2, a, E)
(q2, b, E)
b
(q0, b, D)
(q3, , E)
(q3, a, E)
(q3, b, E)
q0
#
(q0, #, D)
(q4, , E)
(q4, a, E)
(q4, b, E)
(q1, , E)
(I, I, D)
(a, a, D)
(b, b, D)
(#, #, D)
(, , E)
(#, , E)
q1
(a, , E)
(b, , E)
(b, a, E)
(a, a, E)
q2
q3
(b, b, E)
(a, b, E)
(#, a, E)
(#, b, E)
q4
q0
q1
q2
q3
q4
q5
q6
q7
q8
q9
q10
q11
q12
q13
b
(q0, b, D)
1
(q1, A, D)
(q1, 1, D)
(q2, 1, E)
(q0, A, D)
(q13, b, D)
(q5, A, D)
(q7, b, D)
(q6, 1, E)
(q8, A, D)
(q9, A, D)
(q9, 1, D)
(q10, 1, E)
(q12, 1, E)
(q13, b, D)
B
(q0, B, D)
(q1, B, D)
(q2, B, E)
(q4, , E)
(q4, B, E)
(q6, C, E)
(q8, A, D)
(q3, , E)
(q2, B, E)
(q12, , E)
(q6, C, E)
(q9, B, D)
(q10, B, E)
(q6, C, E)
(q12, 1, E)
(q11, C, D)
(q9, C, D)
(q10, C, E)
(q11, C, D)
(q12, 1, E)
(q10, 1, E)
n + (n-1) * n = n + (n2 - n) = n2
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
31
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
(I, I, D)
(B, B, D)
q0
(1, 1, D)
(B, B, D)
(1, A, D)
(1, 1, E)
(B, B, E)
UNIVERSAIS
q2
(A, A, D)
(, , E)
MQUINAS
________________________________________________________________________________________
(, B, E)
q1
a) Turing Norma.
A estrutura de fita da Mquina de Turing simulada em
Norma usando uma estrutura de arranjo unidimensional;
(I, I, D)
q3
(B, , E)
(B, B, E)
(C, C, D)
(B, B, D)
(1, 1, D)
q4
q7
(A, A, D)
q5
(A, 1, E)
(C, C, E)
(B, C, E)
q9
(1, A, D)
(, 1, E)
(I, I, D)
(1, A, D)
q8
q6
(C, C, D)
(, , E)
(B, C, E)
(A, 1, E)
(C, 1, E)
(I, I, D)
(A, A, D)
q11
q10
(C, C, D)
(C, C, E)
(B, B, E)
(1, 1, E)
q12
(1, 1, E)
b) Norma Turing.
Conforme observado anteriormente os registradores X e Y so
suficientes para realizar qualquer processamento em Norma.
q13
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
32
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
33
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
Estado Corrente
Cabea da Fita
Funo Programa
A funo programa de M pode ser simulada por um programa P de
Norma
Uma transio de M da forma: (qu, ar) = (qv, as, m)
onde m assume valores em { E, D } (esquerda e direita) simulada pelo trecho
de programa:
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
34
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
u:
a:
a1:
a2:
grava na fita
move a cabea
novo estado
Observe que:
1) No programa, suposto que o movimento da cabea da fita
para a direita, e, portanto adicionado 1 ao registrador C; caso
o movimento seja para a esquerda, necessrio subtrair 1;
2)
3)
Rtulo final
fim:
Decodificao.
o inverso da codificao acima.
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
35
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
Rtulos
A cada rtulo r de instruo de P corresponde um estado qr de M. Aos rtulos
inicial e finais correspondem os estados inicial e finais, respectivamente;
Programa - Uma instruo rotulada de P da seguinte forma
ADIO
r:
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
SUBTRAO r:
TESTE r:
Codificao.
contedo inicial do registrador X codificado em unrio nas
clulas pares da fita de M;
Decodificao.
o inverso da codificao acima.
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
36
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
37
MQUINAS
UNIVERSAIS
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
________________________________________________________________________________________
Mquina de Post.
leitura
de
dados
dados armazenados
incio
da
fila
fim
da
fila
desempilha
topo
Programa.
uma seqncia finita de instrues, representado como um
diagrama de fluxos (espcie de fluxograma), no qual cada vrtice
uma instruo.
As instrues podem ser de quatro tipos: partida, parada, desvio
(leitura com teste) e atribuio.
Definio 3.17 Mquina de Post.
Uma Mquina de Post uma tripla: M = (, D, #)
onde:
alfabeto de smbolos de entrada;
D programa ou diagrama de fluxos construdo a partir de
componentes elementares denominados partida, parada,
desvio e atribuio;
# smbolo auxiliar.
sentido
de
crescimento
base
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
38
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
39
MQUINAS
UNIVERSAIS
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
________________________________________________________________________________________
partida
rejeita
aceita
X X#
a2
...
an
d) Atribuio. XXs
X Xs
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
40
b
X Xb
rejeita
#
aceita
#,
rejeita
ler (X)
X Xa
XLer (X)
a1
b,
a
X
ler (X)
ler (X)
#
X X#
a,
rejeita
MQUINAS
UNIVERSAIS
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
________________________________________________________________________________________
a1
a2
a4
a3
...
an
...
antes
a1
a2
a3
a4
...
an
...
a3
a4
...
an
...
controle
depois
a1
A2
controle
controle
X = a3 a4 ... an # a1 a2
a1
a2
a3
a4
...
an
...
controle
depois
a1
a2
A3
a4
...
an
...
controle
X = a3 a4 ... an # a1 A2
d) Estados.
A simulao dos estados como segue:
Estado Inicial. Simulado pela instruo partida;
Estados Finais. Simulados pela instruo aceita;
Demais Estados. Cada estado corresponde a uma instruo
desvio (leitura com teste);
e) Condies de Rejeio.
As condies de rejeio da Mquina de Turing (funo
programa indefinida ou movimento invlido) so simuladas em
Post por rejeita.
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
43
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
a) Varivel X.
A varivel X simulada pela fita, e a posio mais esquerda da fila
representada pela posio da cabea da fita.
Para X = a1 a2 a3 ... am #am+1 ... an
a1
a2
a3
...
am
am+1
...
an
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
c) Atribuio. XXs.
A concatenao de um smbolo s deve sempre ser direita do
contedo da varivel X (ou seja, no fim da fila).
Para o contedo de X
X = a1 ... am #am+1 ... an
resulta em
X = a1 ... am #am+1 ... ans
o que pode ser simulado pela Mquina de Turing:
Move-se a cabea para o fim da fita, grava-se o smbolo s e retornase para a posio correspondente ao primeiro smbolo da fila.
antes
a1
...
am
am+1
...
an
...
...
am
am+1
...
an
...
...
controle
controle
depois
b) Desvio. X ler(X).
Se o contedo da varivel X : X = a1 a2 a3 ... am #am+1 ... an
A leitura e remoo do smbolo mais esquerda resulta em:
X = a2 a3 ... am #am+1 ... an
Isso pode ser simulado pela alterao da fita e cabea da fita
I
a1
a2
a3
...
am
am+1
...
an
...
antes
controle
I
a2
a3
...
am
am+1
...
an
...
depois
controle
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
44
a1
controle
d) Partida.
A instruo partida pode ser simulada em uma Mquina de Turing
usando o estado inicial
e) Aceita.
Uma instruo aceita pode ser simulada em uma Mquina de Turing
usando um estado final
f) Rejeita.
Uma instruo rejeita pode ser simulada em uma Mquina de Turing
usando uma condio excepcional de parada (como um movimento
invlido).
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
45
MQUINAS
UNIVERSAIS
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
________________________________________________________________________________________
partida
rejeita
aceita
X ler(X)
a1
a2
...
an
a1
a2
...
an
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
46
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
47
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
MQUINAS
Y ler(Y)
Y aY
b,
rejeita
a
b
X ler(X)
b
UNIVERSAIS
________________________________________________________________________________________
X ler(X)
rejeita
Y ler(Y)
a,b
rejeita
aceita
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
48
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
49
MQUINAS
UNIVERSAIS
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
________________________________________________________________________________________
ACEITA(Pilhas_Triplo_Bal) = Triplo_Bal
REJEITA(Pilhas_Triplo_Bal) = * - Triplo_Bal
LOOP(Pilhas_Triplo_Bal) =
X ler(X)
rejeita
a,b,c
partida
Y1 aY1
partida
rejeita
Y1 ler(Y1)
Y1 ler(Y1)
b,c,
rejeita
X ler(X)
X ler(X)
a,
X ler(X)
rejeita
c
Y1 ler(Y1)
rejeita
X ler(X)
a,c,
rejeita
X ler(X)
rejeita
a,b
rejeita
Y2 ler(Y2) a,b,c
rejeita
b,
rejeita
b
c
b,
a
a,b,c
Y2 ler(Y2)
rejeita
Y2 bY2
aceita
b,
a,b
X ler(X)
aceita
aceita
Figura 3.29 Diagrama de Fluxo da Mquina com Pilhas Prefixo
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
51
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
52
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
estado corrente;
smbolo lido da fita (pode ser
omitido) ou teste se toda a palavra de
entrada foi lida;
smbolo lido de cada pilha (pode ser
omitido) ou teste de pilha vazia;
determina
novo estado;
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
53
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
no l da pilha 2;
assume o estado q;
no grava na pilha 1;
grava o smbolo b no topo da
pilha 2.
estado corrente
smbolo lido da pilha 1
smbolo gravado na pilha 1
novo estado
smbolo gravado na pilha 2
smbolo lido da pilha 2
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
54
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
(a, , B, , )
q0
(b, B, , , )
(?, ?, , ?, )
q1
(b, B, , , )
(?, ?, , ?, )
qf
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
55
MQUINAS
UNIVERSAIS
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
________________________________________________________________________________________
Triplo_Bal = { anbncn n 0 }
q0
(b, B, , , C)
(b, B, , , C)
q1
(?, ?, , ?, )
(c, , ?, C, )
(c, , ?, C, )
q2
(?, ?, , ?, )
qf
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
56
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
57
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
3.6.1 No-Determinismo
no-determinismo uma importante generalizao dos modelos de
mquinas.
No caso da Mquina de Turing, para o mesmo estado corrente e
smbolo lido, diversas alternativas so possveis. Cada alternativa
percorrida de forma totalmente independente.
Isso significa que as alteraes de contedo na fita realizadas em
um caminho no modificam o contedo da mesma nos demais
caminhos alternativos.
A mesma idia vlida para a varivel X da Mquina de Post ou
para as pilhas do Autmato com Pilhas.
MQUINAS
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
58
UNIVERSAIS
________________________________________________________________________________________
q0
(a, a, , , )
(b, b, , , )
(?, ?, , ?, )
q1
(a, a, , , )
(b, b, , , )
(?, ?, , ?, )
qf
Figura 3.33 Grafo do Autmato com Pilhas No-Determinstico palavra e sua reversa
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
59
MQUINAS
UNIVERSAIS
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
________________________________________________________________________________________
...
I
a-3
a1
a-2
a-1
a-1
a2
a1
a-2
a2
a3
a3
a-3
...
...
...
a-3
a-2
a-1
a1
a2
a3
...
b-1
b1
b2
b3
...
c1
c2
c3
...
a-2
a3
a-3
cabea 1
...
b-3
b-2
cabea 2
...
c-3
c-2
c-1
cabea 3
a1
a-1
a2
b1
c1
b-1
b2
b-2
b3
b-3
c-1
c2
c-2
c3
c-3
...
...
...
...
...
...
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
61
MQUINAS
UNIVERSAIS
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
________________________________________________________________________________________
Mquinas Universais
Mquinas Universais - algoritmos que sempre pram
Mquina com Uma Pilha No-Determinstica
Mquina com Uma Pilha Determinstica
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
63
MQUINAS
UNIVERSAIS
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
________________________________________________________________________________________
d)
Linguagens Recursivas.
Correspondem classe de todas as linguagens que podem ser
reconhecidas mecanicamente e para as quais existe um algoritmo de
reconhecimento que sempre pra para qualquer entrada.
Inclui a grande maioria das linguagens aplicadas. Os reconhecedores de
linguagens recursivas podem ser muito ineficientes, tanto em termos de
tempo de processamento como de recursos de memria
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
64
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
65
MQUINAS
UNIVERSAIS
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
________________________________________________________________________________________
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
66
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
67
MQUINAS
UNIVERSAIS
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
________________________________________________________________________________________
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
68
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
69
MQUINAS
UNIVERSAIS
MQUINAS
UNIVERSAIS
________________________________________________________________________________________
________________________________________________________________________________________
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
70
____________________________________________________________
Teoria da Computao - Profs. Tiaraju Diverio e Paulo Blauth Menezes
71