13.04.2013 Views

Algoritmos e complexidade Notas de aula - Arquivo Escolar

Algoritmos e complexidade Notas de aula - Arquivo Escolar

Algoritmos e complexidade Notas de aula - Arquivo Escolar

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Máquina <strong>de</strong> Turing (MT)<br />

Cabeça <strong>de</strong> leitura<br />

e escritura<br />

Fita infinita<br />

M = (Q, Σ, Γ, δ)<br />

• Alfabeto <strong>de</strong> entrada Σ (sem branco )<br />

...<br />

• Conjunto <strong>de</strong> estados Q entre eles três estados particulares:<br />

11.1. Introdução<br />

– Um estado inicial q0 ∈ Q, um que aceita qa ∈ Q e um que rejeita<br />

qr ∈ Q.<br />

• Alfabeto <strong>de</strong> fita Γ ⊇ Σ (inclusive ∈ Γ)<br />

• Regras δ : Q × Γ → Q × Γ × {L, R}, escritas da forma<br />

q, a → q ′ a ′ D<br />

(com q, q ′ ∈ Q, a, a ′ ∈ Σ e D ∈ {L, R}).<br />

Máquina <strong>de</strong> Turing: Operação<br />

• Início da computação:<br />

– No estado inicial q0 com cabeça na posição mais esquerda,<br />

– com entrada w ∈ Σ ∗ escrita na esquerda da fita, resto da fita em<br />

branco.<br />

• Computação: No estado q lendo um símbolo a aplica uma regra qa →<br />

q ′ a ′ D (um L na primeira posição não tem efeito) até<br />

– não encontrar uma regra: a computação termina, ou<br />

241

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!