Máquina de Turing com Fita...
Transcript of Máquina de Turing com Fita...
![Page 1: Máquina de Turing com Fita Limitadaubiq.inf.ufpel.edu.br/ptdavet/lib/exe/fetch.php?media=trabalho1... · autômatos de pilha Comprimento igual ao da cadeia de entrada, acrescido](https://reader034.fdocument.pub/reader034/viewer/2022050201/5f54bb1fff6edb4a952d4d24/html5/thumbnails/1.jpg)
Máquina de Turing com Fita Limitada
Autores: Patrícia Teixeira Davet e Thiago Ferreira Pontes
Professora: Simone Costa
Instituição: UFPEL – PPGC
Abril de 2014
Teoria da Computação
![Page 2: Máquina de Turing com Fita Limitadaubiq.inf.ufpel.edu.br/ptdavet/lib/exe/fetch.php?media=trabalho1... · autômatos de pilha Comprimento igual ao da cadeia de entrada, acrescido](https://reader034.fdocument.pub/reader034/viewer/2022050201/5f54bb1fff6edb4a952d4d24/html5/thumbnails/2.jpg)
2
Introdução
Definição do Modelo
Exemplos
Referências
Tópicos
Máquina de Turing com Fita Limitada
![Page 3: Máquina de Turing com Fita Limitadaubiq.inf.ufpel.edu.br/ptdavet/lib/exe/fetch.php?media=trabalho1... · autômatos de pilha Comprimento igual ao da cadeia de entrada, acrescido](https://reader034.fdocument.pub/reader034/viewer/2022050201/5f54bb1fff6edb4a952d4d24/html5/thumbnails/3.jpg)
3
Características
Limitação no tamanho da fita
Não determinística
Reconhecedora de Linguagens Sensíveis ao Contexto(LSC) – Tipo 1
Introdução
Máquina de Turing com Fita Limitada
![Page 4: Máquina de Turing com Fita Limitadaubiq.inf.ufpel.edu.br/ptdavet/lib/exe/fetch.php?media=trabalho1... · autômatos de pilha Comprimento igual ao da cadeia de entrada, acrescido](https://reader034.fdocument.pub/reader034/viewer/2022050201/5f54bb1fff6edb4a952d4d24/html5/thumbnails/4.jpg)
4
Características
Extensões em relação aos autômatos finitos ou aosautômatos de pilha
Comprimento igual ao da cadeia de entrada, acrescidode duas células que contém os símbolos de início e fimda fita.
Deslocamento para direita e esquerda.
Leitura e escrita na fita.
Introdução
Máquina de Turing com Fita Limitada
![Page 5: Máquina de Turing com Fita Limitadaubiq.inf.ufpel.edu.br/ptdavet/lib/exe/fetch.php?media=trabalho1... · autômatos de pilha Comprimento igual ao da cadeia de entrada, acrescido](https://reader034.fdocument.pub/reader034/viewer/2022050201/5f54bb1fff6edb4a952d4d24/html5/thumbnails/5.jpg)
5
Formalismo
M = (∑, Q, Г, δ, q0, F, <, >) onde:
∑ é o alfabeto de entrada, possui um número finito de símbolos;
Q é o conjunto finito de estados;
Г é o conjunto finito de símbolos que podem ser lidos e/ou gravados na fita detrabalho, ∑ ⊆ Г;
δ é a função parcial de transição , compreendendo os seguintes mapeamentos:
q0 é o estado inicial, q0 є Q;
F é o conjunto de estados finais, F ⊆ Q;
<, > são marcadores respectivamente de início e fim da fita, <, > ∉ Г .
Definição do Modelo
Máquina de Turing com Fita Limitada
![Page 6: Máquina de Turing com Fita Limitadaubiq.inf.ufpel.edu.br/ptdavet/lib/exe/fetch.php?media=trabalho1... · autômatos de pilha Comprimento igual ao da cadeia de entrada, acrescido](https://reader034.fdocument.pub/reader034/viewer/2022050201/5f54bb1fff6edb4a952d4d24/html5/thumbnails/6.jpg)
6
Exemplo 1
M = (∑, Q, Г, δ, q0, F, <, >) que aceita a L= a*b*
MTFL = ({a,b}, {q0,q1,q2}, {a,b}, δ, q0, {q2}, <, >)
Diagrama de estados da MTFL:
Exemplos
Máquina de Turing com Fita Limitada
![Page 7: Máquina de Turing com Fita Limitadaubiq.inf.ufpel.edu.br/ptdavet/lib/exe/fetch.php?media=trabalho1... · autômatos de pilha Comprimento igual ao da cadeia de entrada, acrescido](https://reader034.fdocument.pub/reader034/viewer/2022050201/5f54bb1fff6edb4a952d4d24/html5/thumbnails/7.jpg)
7
Exemplo 1
Teste 1: a cadeia ”aabbb‟ é aceita pela MTFL
Exemplos
Máquina de Turing com Fita Limitada
![Page 8: Máquina de Turing com Fita Limitadaubiq.inf.ufpel.edu.br/ptdavet/lib/exe/fetch.php?media=trabalho1... · autômatos de pilha Comprimento igual ao da cadeia de entrada, acrescido](https://reader034.fdocument.pub/reader034/viewer/2022050201/5f54bb1fff6edb4a952d4d24/html5/thumbnails/8.jpg)
8
Exemplo 1
Teste 2: a cadeia ”aaba‟ não é aceita pela MTFL
Exemplos
Máquina de Turing com Fita Limitada
![Page 9: Máquina de Turing com Fita Limitadaubiq.inf.ufpel.edu.br/ptdavet/lib/exe/fetch.php?media=trabalho1... · autômatos de pilha Comprimento igual ao da cadeia de entrada, acrescido](https://reader034.fdocument.pub/reader034/viewer/2022050201/5f54bb1fff6edb4a952d4d24/html5/thumbnails/9.jpg)
9
Exemplo 2
M = (∑, Q, Г, δ, q0, F, <, >) que aceita a L=
MTFL = ({a,b}, {q0,q1,q2q3,q4,q5,}, {a,b,X,Y}, δ, q0, {q4}, <, >)
Exemplos
Máquina de Turing com Fita Limitada
![Page 10: Máquina de Turing com Fita Limitadaubiq.inf.ufpel.edu.br/ptdavet/lib/exe/fetch.php?media=trabalho1... · autômatos de pilha Comprimento igual ao da cadeia de entrada, acrescido](https://reader034.fdocument.pub/reader034/viewer/2022050201/5f54bb1fff6edb4a952d4d24/html5/thumbnails/10.jpg)
10
Exemplo 2
Teste 1:”aabb“ é aceita
Exemplos
Máquina de Turing com Fita Limitada
![Page 11: Máquina de Turing com Fita Limitadaubiq.inf.ufpel.edu.br/ptdavet/lib/exe/fetch.php?media=trabalho1... · autômatos de pilha Comprimento igual ao da cadeia de entrada, acrescido](https://reader034.fdocument.pub/reader034/viewer/2022050201/5f54bb1fff6edb4a952d4d24/html5/thumbnails/11.jpg)
11
Exemplo 2
Teste 2:”aab“ não é aceita
Teste 3:”abb“ não é aceita
Exemplos
Máquina de Turing com Fita Limitada
![Page 12: Máquina de Turing com Fita Limitadaubiq.inf.ufpel.edu.br/ptdavet/lib/exe/fetch.php?media=trabalho1... · autômatos de pilha Comprimento igual ao da cadeia de entrada, acrescido](https://reader034.fdocument.pub/reader034/viewer/2022050201/5f54bb1fff6edb4a952d4d24/html5/thumbnails/12.jpg)
12
[1] Ramos, M, V, M – Linguagens Sensíveis ao Contexto– Universidade Federal do Vale do São Francisco, 2010.
[2] P. Blauth Menezes – Linguagens Formais e Autômatos - UFRGS
Referências
Máquina de Turing com Fita Limitada
![Page 13: Máquina de Turing com Fita Limitadaubiq.inf.ufpel.edu.br/ptdavet/lib/exe/fetch.php?media=trabalho1... · autômatos de pilha Comprimento igual ao da cadeia de entrada, acrescido](https://reader034.fdocument.pub/reader034/viewer/2022050201/5f54bb1fff6edb4a952d4d24/html5/thumbnails/13.jpg)
Máquina de Turing com Fita Limitada
Autores: Patrícia Teixeira Davet e Thiago Ferreira Pontes
Professora: Simone Costa
Instituição: UFPEL – PPGC
Abril de 2014
Teoria da Computação