Algoritmos e complexidade Notas de aula - Arquivo Escolar

11. Do algoritmo ao problema
Linguagem de uma MTND
• Conjunto de linguagens Turing-reconhecíveis: linguagens recursivamente
enumeráveis ou computavelmente enumeráveis.
• Conjunto de linguagens Turing-decidíveis: linguagens recursivas ou computáveis.
• Para uma máquina não-determinística temos que modificar a definição:
ela precisa somente um estado que aceita e
– ela reconhece a linguagem
L(M) = {w ∈ Σ ∗ | existe uma computação tal que M aceita w}
– ela decide uma linguagem se todas computações sempre param.
Máquina de Turing não-determinística
• Resposta sim, se existe uma computação que responde sim.
Robustez da definição
244
• A definição de uma MTD é computacionalmente robusto: as seguintes
definições alternatives decidem as mesmas linguagens:
1. Uma MT com k > 1 fitas (cada uma com cabeça própria),
2. uma MT com fita duplamente infinita,
3. uma MT com alfabeto restrito Σ = {0, 1},
4. uma MTND e
5. uma MT com fita de duas ou mais dimensões.