Mapa Mental - Máquina de Turing

Prévia do material em texto

Máquina de Turing Autômato finitos: são bons modelos para que têm uma quantidade pequena de Definição formal Autômatos com piha: são bons modelos para dispositivos Uma máquina de Turing uma 7-upla, onde são todos conjuntos finitos que possuem limitada que é usável apenas 1. Q conjunto de estados, como uma (LFO last in first out) 2. 0 alfabeto de contendo 0 simbolo branco São demasiado restrito para servir como modelos de 3. alfabeto de fita, onde computadores de geral 4. 6: função de transição, 5. estado Modelo proposto por Alan Turing em 1936, 6. Q 0 estado de accitação, 7. Q 0 estado de rejeição, onde semehante a um autômato finito, mas com uma Configuração: A medida que uma MT computa, e Modelo mais acurado de um mudanças ocorrem no estado alual, no conteúdo alual computador de propósito geral, uma MT pode fazer da e a posição alual do Um valores que um computador real pode fazer, não pode resolver certos Esses problemas estão além dos desses itens é denominado configuração. Para um estado q e duas cadeias u e V sobre O T, limites da escrevemos q V para a configuração na qual O estado Cabeçote de leitura alual conteúdo alual da é UV e O cabeçote de simbolos infinita sobre primeiro de V. control de M sobre entrada de W: q0 b b que indica que a no estado inicial com a contém apenas a cadeia de entrada e seu na posição mais à esquerda espaços em Para armazenar informação, ela Configuração de aceitação: estado é pode escrevê-la sobre a fila, para ler, a pode mover seu cabeçote de volta para a posição onde a Configuração de rejeição: O estado é informação foi A MT continua a computar de e de rejeição são produzir uma aceita ou entrando configurações de para e portanto não originam em estados de aceilação e de rejeição Se não encontrar configurações em um estado de ou de rejeição, ela continuará para sempre, nunca Turing A coleção de cadeias que M aceita é a inguagem de M, ou a inguagem reconhecida por M, Autômatos Finitos VS Máquina de Turing denotada L(M) LMT pode escrever sobre a quanto ler a partir Definição: Chame uma de Turing- dela; Reconhecivel se alguma máquina de Turing a reconhece LO cabeçote de pode mover-se para uma máquina de Turing sobre uma a esquerda quanto para entrada três resultados são LA é A máquina pode aceilar, rejeitar ou entrar em estados especiais para e fazem efeito Loop: a simplesmente não para de Turing M1 para B = E Entrar em loop pode acarretar qualquer comportamento que nunca leva a um estado de parada de computando