Capitulo4 Cop

Captulo 4: Maquinas de Turing
Newton Jose Vieira Isabel Gomes Barbosa

Departamento de Ciencia da Computa cao
Universidade Federal de Minas Gerais
23 de setembro de 2010
Newton Jose Vieira, Isabel Gomes Barbosa Captulo 4: Maquinas de Turing
Sumario
1 O que

E Maquina de Turing
Sumario
1 O que

E Maquina de Turing
2 Algumas Varia coes de MTs
Maquina com cabecote imovel
Maquina com m ultiplas trilhas
Maquina com ta ilimitada em ambas as direc oes
Maquina com m ultiplas tas
Maquina nao determinstica
Sumario
1 O que

E Maquina de Turing
2 Algumas Varia c oes de MTs
Maquina com cabecote im ovel
3 Gramaticas e Maquinas de Turing
Sumario
1 O que

E Maquina de Turing
2 Algumas Varia coes de MTs
Maquina com cabecote imovel
3 Gramaticas e Maquinas de Turing
4 Propriedades das LREs e das Linguagens Recursivas
O que

E Maquina de Turing
Algumas Varia c oes de MTs
Gramaticas e Maquinas de Turing
Propriedades das LREs e das Linguagens Recursivas
O que

E Maquina de Turing
a
1 a
i a
n
controle
+
e
Componentes de uma MT:
1
ta de leitura e escrita;
2
cabe cote de leitura;
3
registrador;
4
fun cao de transicao;
5
unidade de controle.
O que

E Maquina de Turing
Algumas Varia coes de MTs
Operacao de uma MT
No incio, sendo i o estado inicial da maquina de turing e
a
1
a
2
...a
n
a palavra de entrada:
a
1 a
i a
n
controle
+
i
O que

E Maquina de Turing
Operacao de uma MT (cont.)
Enquanto (e, a) e denido, em que e refere-se ao estado no
registrador da maquina, a e o smbolo sob o cabecote e
(e, a) = [e
, b, d]:
1
coloca-se no registrador o estado e
;
2
substitui-se a por b na posicao sob o cabecote;
3
avan ca-se o cabecote para a celula da esquerda, se d = E, ou
para a da direita, se d = D.
O que

E Maquina de Turing
Propriedades
1
Uma MT e determinstica: para cada estado e e smbolo a,
ha, no maximo, uma transicao especicada pela funcao de
transicao.
2
Uma transicao (e, a) = [e
, b, d] sera representada em um
diagrama de estados da seguinte forma:
_
`
e

a/b d
_
`
3
Uma MT pode ser usada como:
reconhecedora de linguagens;
transdutora de linguagens:
.
O que

E Maquina de Turing
Um exemplo
Uma MT que, recebendo como entrada uma palavra de 0, 1
,
produz o complemento:
_
`
1/0 D
0/1 D
/ E
_
`
1/1 E
0/0 E
/ D
_
`
2
O que

E Maquina de Turing
Denicao de MT
O que e MT
Uma maquina de Turing e uma octupla (E, , , , , , i , F), em
que:
E e um conjunto nito de estados;
e o alfabeto de entrada;
e o alfabeto da ta;
e o primeiro smbolo da ta ( );
e o branco ( , , = );
: E E E, D e a funcao de transi cao;
i e o estado inicial;
F e o conjunto de estados nais.
O que

E Maquina de Turing
Exemplo
Diagrama de estados para uma MT que reconhece
ww
R
[ w a, b
_
`
a/ D
_
`
2a
b/b D
a/a D
b/ D
_
`
2b
`
a/a D
b/b D
/ E
_
`
3a
/ E
_
`
3b
a/ E
b/ E
_
`
a/a E, b/b E
/ D
O que

E Maquina de Turing
Conguracao de uma MT
Uma congura cao instantanea de uma maquina de turing e um par
[e, xay], em que:
e E e o estado atual;
x
e a palavra situada à esquerda do cabe cote de leitura;

a e o smbolo sob o cabe cote; e
y
e a palavra à direita do cabecote ate o ultimo smbolo

diferente de ;
A conguracao inicial e:
[i , a
1
a
2
...a
n
], caso a palavra de entrada seja a
1
a
2
...a
n
.
[i , ], caso a palavra de entrada seja .
O que

E Maquina de Turing
Mudanca de Congura cao (1)
Funcao :
: (w) elimina de w os brancos à

direita do ultimo smbolo diferente de branco.
(w) =
se w
xa se w = xay, a e y
.
A relacao (E
+
)
2
, para uma MT M, e tal que:
1
se (e, a) = [e
, b, D], entao [e, xacy] [e
, xbcy] para c ,
e [e, xa] [e
, xb];
2
se (e, a) = [e
, b, E], entao [e, xcay] [e
, xc(by)] para
c ;
3
se (e, a) e indenido, entao nao existe conguracao f tal que
[e, xay] f .
O que

E Maquina de Turing
Mudanca de Congura cao (2)
O fecho reexivo e transitivo de sera denotado por
.
Congura cao instantanea f

e obtida a partir de f
percorrendo-se n 0 transicoes: f
n
f

.
O que

E Maquina de Turing
Linguagem Reconhecida por uma MT
A linguagem reconhecida por uma MT M = (E, , , , , , i , F) e:
L(M) = w
[[i , w]
[e, xay], (e, a) e indenido e e F

O que

E Maquina de Turing
Duas MTs
MTs para a, b, c
(aba, b, c
):
_
`
0
_

a/a D
_
`
1
_

b/b E
_
`
2
Maquina que para sempre.
_
`
0
_
a/a D
b/b E
_
`
1
_
Maquina que para se aceita.

O que

E Maquina de Turing
Linguagens recursivamente enumeraveis e recursivas
Linguagem recursivamente enumeravel
Uma linguagem e dita ser uma linguagem recursivamente
enumeravel (LRE) se existe uma MT que a reconhece.
Linguagem recursiva
Uma linguagem e dita ser uma linguagem recursiva se existe uma
MT que a reconhece e que pare para todas as palavras do alfabeto
de entrada.
O que

E Maquina de Turing
Modelos alternativos de reconhecimento
Por estado nal
Seja uma MT M = (E, , , , , , i , F). A linguagem reconhecida
por M por estado nal e:
L
F
(M) = w
[, [i , w]
[e, xay], a e e F.
Por parada
Seja uma MT M = (E, , , , , , i ). A linguagem reconhecida
por M por parada e:
L
P
(M) = w
[ [i , w]
[e, xay], a e (e, a) e indenido.

O que

E Maquina de Turing
Exemplo/reconhecimento por estado nal
Maquina que reconhece a, b, c
(aba, b, c
) por estado
nal:
_
`
0

a/a D
_
`
1

b/b E
_
`
2
_
`
f
_
`
`
`
`
`
b/b D
c/c D
/ D
-
a/a D
c/c D
/ D
O que

E Maquina de Turing
Exemplo/reconhecimento por parada
Maquina que reconhece a, b, c
(aba, b, c
) por parada:
_
`
a/a D
b/b E
_
`
1
O que

E Maquina de Turing
Equivalencia dos modelos alternativos de reconhecimento
Seja L uma linguagem. As seguintes armativas sao equivalentes:
a) L e uma LRE;
b) L pode ser reconhecida por uma MT por estado nal;
c) L pode ser reconhecida por uma MT por parada.
O que

E Maquina de Turing
Maquina com cabe cote im ovel
Maquina com ta ilimitada em ambas as dire c oes
A maquina e uma octupla M = (E, , , , , , i ), sendo que:
e uma funcao de E para E D, E, I .
Uma transicao (e, a) = [e
, b, I] pode ser simulada por transic oes

das formas a seguir, sendo d um novo estado:
(e, a) = [d, b, D];
(d, c) = [e
, c, E] para cada c .
Exemplo
O que

E Maquina de Turing
A ta e composta por m ultiplas trilhas: cada celula contem uma
k-upla de smbolos.
No incio, a palavra de entrada esta na trilha 1.
a
1
1
a
1
i
a
1
n
trilha 1
a
2
0
a
2
1
a
2
i
a
2
n
trilha 2
.
.
.
.
.
.

.
.
.

.
.
.

.
.
.
a
k
0
a
k
1
a
k
i
a
k
n
trilha k
controle
+
e registrador com estado atual

O que

E Maquina de Turing
Uma MT com k trilhas e uma octupla (E, , , , , , i , F) em que:
e uma funcao de E
k
para E
k
D, E.
Uma conguracao instantanea tem a forma:
[e, x
1
a
1
y
1
, x
2
a
2
y
2
, ..., x
k
a
k
y
k
], onde [x
i
[ = [x
j
[ para i ,= j .
A linguagem aceita e o conjunto de toda palavra w
tal que
[i , w, , . . . , ]
[e, x
1
a
1
y
1
, x
2
a
2
y
2
, . . . , x
k
a
k
y
k
]
onde e F e (e, a
1
, a
2
, . . . , a
k
) e indenido.
O que

E Maquina de Turing
MT-padrao e MT com m ultiplas trilhas
Uma MT-padrao (E, , , , , , i , F) pode ser simulada por uma
com k trilhas (E, , , , ,
, i , F) em que:
se (e, a) = [e
, b, d], entao
(e, a, , . . . , ) = [e
, b, , . . . , , d].
Dada uma MT de k trilhas M = (E, , , , , , i , F), obtem-se
uma MT-padrao equivalente
M
= (E,
k1
, ()
k1
,
k1
,
k
,
, i , F)
de forma que:
se (e, a
1
, a
2
, . . . , a
k
) = [e
, b
1
, b
2
, . . . , b
k
, d], entao
(e, [a
1
, a
2
, . . . , a
k
]) = [e
, [b
1
, b
2
, . . . , b
k
], d].
O que

E Maquina de Turing
Maquina com ta ilimitada em ambas as dire coes
A ta e ilimitada tambem à esquerda;
No incio, o cabe cote esta posicionado no primeiro smbolo da
palavra de entrada, se esta nao for :

a
1
a
2 a
n

O que

E Maquina de Turing
De MT-padrao a MT com ta ilimitada em ambas as
direc oes
Seja M = (E, , , , , , i , F) uma MT-padrao e i
, j , E.
Uma MT com ta ilimitada em ambas as dire c oes, equivalente a
M, seria M
= (E i
, j , , , ,
, i
, F) em que
consta das
mesmas transic oes que M acrescidas de:
(i
, a) = [j , a, E] para cada a ;
(j , ) = [i , , D].
O que

E Maquina de Turing
De MT com ta ilimitada em ambas as direcoes a
MT-padrao
Seja M = (E, , , , , i , F) uma maquina com ta ilimitada em
ambas as dire coes. Considerando a ta com as celulas indexadas
assim:

4 3 2 1 0 1 2 3
Pode-se obter uma maquina de duas trilhas que simula M, como
segue.
O que

E Maquina de Turing
A MT ilimitada em ambas as dire coes
M
= (E
, ,
, , ,
, i
, F
)
E
= E 1, 2; i
= [i , 1]; F
= F 1, 2;
= ,
, ;
e obtida de assim:
para cada transi cao (e, a) = [e
, b, D], deve-se ter:
([e, 1], a, c) = [[e
, 1], b, c, D] para cada c ;
([e, 2], c, a) = [[e
, 2], c, b, E] para cada c ;
([e, 1], , a) =
([e, 2], , a) = [[e
, 1], , b, D];
para cada transi cao (e, a) = [e
, b, E], deve-se ter:
([e, 1], a, c) = [[e
, 1], b, c, E] para cada c ;
([e, 2], c, a) = [[e
, 2], c, b, D] para cada c ;
([e, 1], , a) =
([e, 2], , a) = [[e
, 2], , b, D].
O que

E Maquina de Turing
Nessa varia cao, cada ta tem seu cabe cote de leitura/escrita.
a
1
1
a
1
i
a
1
n

ta 1
.
.
.
a
k
1
a
k
i
a
k
n

ta k
controle
+
No incio, a palavra de entrada esta na ta 1.

O que

E Maquina de Turing
Uma MT de k tas e uma octupla (E, , , , , , i , F) onde:
e uma funcao de E
k
para E (
k
D, E, I )
k
.
Uma conguracao instantanea tem a forma:
[e, x
1
a
1
y
1
, x
2
a
2
y
2
, ..., x
k
a
k
y
k
].
A linguagem aceita e o conjunto de toda palavra w
tal que
[i , w, , . . . , ]
[e, x
1
a
1
y
1
, x
2
a
2
y
2
, . . . , x
k
a
k
y
k
]
onde e F e (e, a
1
, a
2
, . . . , a
k
) e indenido.
O que

E Maquina de Turing
Exemplo de maquina com m ultiplas tas
Diagrama de estados de uma maquina de duas tas que reconhece
ww
R
w [ w 0, 1
_
`
0

/ E, / E
`
`
`
`
`
`
/ D, / I
_
`
/ D, / I
_
`
`
/ D, / D
_
`
3
_
0/0 E, /0 E
1/1 E, /1 E
/ I, / D
_
`
0/0 E, 0/0 D
1/1 E, 1/1 D
`
`
`
`
`
`
/ I, / E
_
`
`
0/0 E, 0/0 E
1/1 E, 1/1 E
/ I, / I
_
`
6
_

O que

E Maquina de Turing
Admite mais de uma transicao partindo de certo estado sob
determinado smbolo.
Podem existir varias computac oes no processamento de uma
palavra.
Uma palavra e aceita quando existe uma computacao para a
qual a maquina para em um estado nal.
O que

E Maquina de Turing
Uma MT nao determinstica e uma octupla (E, , , , , , i , F),
onde:
e uma funcao total de E para T(E D, E).
No caso em que (e, a) = para certo estado e e smbolo a, nao
ha transicao do estado e sob a.
A linguagem aceita pela MT M e:
L(M) = w
[ [i , w]
[e, xay], (e, a) = e e F.

O que

E Maquina de Turing
Exemplo de maquina nao determinstica
Diagrama de estados de uma MT nao determinstica que aceita a
linguagem b
ab
+ c
ac
_
`
e
1
c/c D
b/b D
a/b D
_
`
e
2
b/b D
a/c D
_
`
e
4
`
c/c D
/ E
_
`
e
3
b/b E
/ E
_
`
e
5
`
c/c E
/ D
/ D
_
`
e
6
O que

E Maquina de Turing
Exemplo/MT nao determinstica de duas tas
MT de duas tas nao determinstica para ww
R
w [ w 0, 1
:.
_
`
0/0 D, /0 D
1/1 D, /1 D
/ I, / E
_
`
0/0 D, 0/0 E
1/1 D, 1/1 E
/ I, / D
_
`
0/0 D, 0/0 D
1/1 D, 1/1 D
/ I, / I
_
`
4
_

O que

E Maquina de Turing
De gramatica a maquina de Turing
A linguagem gerada por uma gramatica irrestrita e uma LRE.
Seja uma gramatica irrestrita G = (V, , R, P).
Constr oi-se uma MT nao determinstica de duas tas, M, tal que
L(M) = L(G).
ta 1: palavra de entrada;
ta 2: forma sentencial de G.
O algoritmo da maquina M e apresentado a seguir.
O que

E Maquina de Turing
De gramatica a maquina de Turing
1. Escreva P (a variavel de partida) na ta 2.
2. ciclo
2.1 selecione uma posi cao p na forma sentencial que esta na ta 2;
2.2 selecione uma regra u v R;
2.3 se u ocorre a partir da posicao p da ta 2 entao
2.3.1 substitua u por v na ta 2;
2.3.2 se a forma sentencial na ta 2 e identica à palavra
de entrada na ta 1 entao
aceite
mse
senao
rejeite
mse
mciclo.
O que

E Maquina de Turing
De maquina de Turing a gramatica
Uma LRE pode ser gerada por uma gramatica irrestrita.
Seja M = (E, , , , , , i , F) uma MT que aceita L.
Constr oi-se, a partir de M, uma gramatica irrestrita
G = (V, , R, P) que gera L.
Existirao regras em G para tres prop ositos, os quais sao descritos a
seguir.
O que

E Maquina de Turing
De maquina de Turing a gramatica/1
Gerar todas as formas sentenciais do tipo wiw, onde w
:
P B
B a
k
BA
k
para 1 k n (portanto, n regras)
B i
A
k
a
k
para 1 k n (portanto, n regras)
A
j
a
k
a
k
A
j
para 1 k, j n (portanto, n
2
regras).
O que

E Maquina de Turing
Simular M sobre a congura cao instantanea iw, deixando o
prexo w inalterado:
para cada transi cao em M da forma (e, a) = [e
, b, D]:
ea be
e be
se a =
para cada transi cao em M da forma (e, a) = [e
, b, E]:
cea e
cb para cada c
ce e
cb para cada c , se a = .
O que

E Maquina de Turing
Apagar a congura cao instantanea quando ela for do tipo xeay,
onde e F e (e, a) e indenido:
para cada par (e, a) tal que e F e (e, a) e indenido:
ea a#
#c # para cada c
c# # para cada c
#
O que

E Maquina de Turing
Arquitetura de um automato linearmente limitado
a
1 a
i a
n
ta de leitura e escrita
controle
+

O que

E Maquina de Turing
Aut omato linearmente limitado
Automato linearmente limitado
Um automato linearmente limitado (ALL) e uma MT nao
determinstica M = (E, , , , , , , i , F) em que:
e um smbolo especial de que nao pode ser escrito na ta;
a conguracao inicial e [i , w]; e
se (e, ) e denida, (e, ) = [e
, , E] para algum e
E.
O que

E Maquina de Turing
Exemplo de aut omato linearmente limitado
Diagrama de estados de um ALL para a
n
b
n
c
n
[ n > 0:
_
`
a/ D
_
`
/ D
a/a D
b/ D
_
`
/ D
b/b D
/ D
_
`
`
a/a E
a/a E
_
`
`
b/b E
/ E
c/ E
b/b E
_
`
`
/ E
/ D
_
`
`
/ D
/ E
_
`
8
O que

E Maquina de Turing
Gramaticas sensveis ao contexto
Gramatica sensvel ao contexto
Uma gramatica sensvel ao contexto (GSC) e uma gramatica
(V, , R, P), em que cada regra tem a forma:
x y, x, y (V )
+
e [x[ [y[.
Exemplo:
GSC que gera a
n
b
n
c
n
[ n 1:
P aPBc [ abc
cB Bc
bB bb
O que

E Maquina de Turing
Linguagens sensveis ao contexto
Linguagem sensvel ao contexto
Uma linguagem e dita ser uma linguagem sensvel ao contexto
(LLC) se existe uma GSC que a gere.
1
Toda LSC e reconhecida por algum ALL.
2
Se M e um ALL, entao L(M) e LSC.
O que

E Maquina de Turing
LLCs e LSCs
Desprezando o caso em que a linguagem contem , a classe
das LLCs esta propriamente contida na classe das LSCs.
1
Toda LLC que nao contenha pode ser denida por meio de
uma GLC sem regras . E toda GLC sem regras e uma
GSC. Assim, toda LLC sem a palavra e uma LSC.
2
Existe LSC que nao e LLC. Por exemplo, existe uma GSC
para a linguagem a
n
b
n
c
n
[ n 1, mas nao existe GLC para
essa mesma linguagem.
O que

E Maquina de Turing
Espaco das linguagens em T(
)
regulares
livres do contexto
sensveis ao contexto
recursivas
recursivamente enumeraveis
T(
)
O que

E Maquina de Turing
A classe das linguagens recursivas e fechada sob:
uniao;
intersecao;
complementacao.
A classe das LREs e fechada sob:
uniao;
intersecao.
A classe das LREs nao e fechada sob complementacao!
O que

E Maquina de Turing
Existem linguagens que nao sao LREs
1
Seja R uma linguagem sobre cujas palavras representam
todas as MTs.
2
Como
e um conjunto enumeravel e R
, R e
enumeravel. Ou seja, o conjunto das MTs e enumeravel,
independentemente da linguagem usada para representa-las.
3
O conjunto de todas as linguagens de alfabeto , T(
), nao
e enumeravel.
4
Como o conjunto das MTs e enumeravel e o conjunto das
linguagens nao, segue-se que nao ha como associar cada
linguagem a uma MT (nao existe uma funcao injetiva de
T(
) para R). Logo, existem mais linguagens do que MTs.

O que

E Maquina de Turing
Um teorema importante
Se L e L sao LREs, entao L e recursiva.
Em particular, segue-se a contrapositiva:
Se L e LRE e L nao e recursiva, entao L nao e LRE.
Apendice
_
1/1 D
0/0 D
/ I
_
(a) Trecho de MT com imobilidade

_
1/1 D
0/0 D
/ E
_
d

/ D
/ D
1/1 D
0/0 D
_
(b) Trecho de MT-padrao I

_
1/1 D
0/0 D
/ D
_
d

/ E
1/1 E
0/0 E
_
(c) Trecho de MT-padrao II

Retornar

Capitulo4 Cop

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Capitulo4 Cop

Enviado por

Direitos autorais:

Formatos disponíveis

Captulo 4: Maquinas de Turing

Newton Jose Vieira Isabel Gomes Barbosa

e a palavra situada `a esquerda do cabe cote de leitura;

e a palavra `a direita do cabecote ate o ultimo smbolo

: (w) elimina de w os brancos `a

, b, D], entao [e, xacy] [e

, b, E], entao [e, xcay] [e

[e, xay], (e, a) e indenido e e F

Maquina que para se aceita.

[e, xay], a e (e, a) e indenido.

, b, I] pode ser simulada por transic oes

e registrador com estado atual

Newton Jose Vieira, Isabel Gomes Barbosa Captulo 4: Maquinas de Turing

, b, D], deve-se ter:

([e, 1], a, c) = [[e

, 1], b, c, D] para cada c ;

([e, 2], c, a) = [[e

, 2], c, b, E] para cada c ;

([e, 2], , a) = [[e

, b, E], deve-se ter:

([e, 1], a, c) = [[e

, 1], b, c, E] para cada c ;

([e, 2], c, a) = [[e

, 2], c, b, D] para cada c ;

([e, 2], , a) = [[e

e registrador com estado atual

No incio, a palavra de entrada esta na ta 1.

Newton Jose Vieira, Isabel Gomes Barbosa Captulo 4: Maquinas de Turing

[e, xay], (e, a) = e e F.

Newton Jose Vieira, Isabel Gomes Barbosa Captulo 4: Maquinas de Turing

e registrador com estado atual

) para R). Logo, existem mais linguagens do que MTs.

(a) Trecho de MT com imobilidade

(b) Trecho de MT-padrao I

(c) Trecho de MT-padrao II

Você também pode gostar