Mquina de Turing e Linguagens
As Linguagens Enumerveis Recursivamente
Linguagens Formais e Autmatos
Mquina de Turing
Prof. Anderson Belgamo
Mquina de Turing
A Mquina de Turing foi proposta por Alan
Turing em 1.936.
Trata-se de uma mquina de estado finito com a
habilidade de ler suas entradas mais de uma vez e
tambm de apagar ou substituir os valores de
suas entradas. T
Tem tambm uma memria auxiliar ilimitada.
ou Tipo 0 so aquelas que podem ser
reconhecidas por uma Mquina de Turing.
Considerando que, segundo a Hiptese de
Church, a Mquina de Turing o mais geral
dispositivo de computao, ento a Classe das
Linguagens Enumerveis Recursivamente
representa o conjunto de todas as linguagens
que podem ser reconhecidas mecanicamente
e em um tempo finito.
Mquina de Turing
Definio: uma mquina de Turing consiste de
uma mquina de estado finito, dividida em
clulas, cada uma delas contendo mximo um
smbolo de um alfabeto disponvel.
A qualquer momento apenas um nmero finito de
clulas contm valores. Dependendo do estado
corrente da unidade e do smbolo lido, a unidade pode
no realizar ao alguma, isto , ela pra, ou realizar
tres aes:
 Mquina de Turing
inserir um smbolo do alfabeto na clula lida, podendo ser o
mesmo que a clula j continha;
passar ao estado seguinte, podendo este ser o mesmo
estado que antes;
mover a cabea de leitura/gravao uma clula para a
esquerda (L) ou direita (R)
Mquina de Turing
Condies de Parada: assume um estado final,
pra e aceita a entrada.
Funo programa indefinida para o argumento
(smbolo lido e estado corrente): pra e rejeita a
entrada
Argumento define um movimento esquerda e a
cabea da fita j se encontra na clula mais
Esquerda: pra e rejeita

Mquina de Turing Mquina de Turing

Exemplo: Exemplo: