Modelador de Máquinas de Turing (MT) Interativo

1. Alfabetos & Base (Σ, Γ, B)

MT = (Q, Σ, Γ, δ, q₀, B, F)

Entrada (Σ):

Fita (Γ ⊇ Σ):

Branco: B (B ∈ Γ, B ∉ Σ; também aceita _) · Movimentos: R direita, L esquerda, S fica.

Critério de Aceitação:

Estado de Aceitação para em q ∈ F Parada Natural sem regra aplicável

Regra: (q, a) ➔ (p, b, D)

Filtrar por estado:

Origem	Lê (a)	Escreve (b)	Move (D)	Destino	Ações

Estados: 0 Transições: 0 q₀: — F: — R: —

Analisando...

Grafo da MT

💡 Duplo clique: cria estado / alterna aceitação • Shift + Arrastar: conecta transição • Botão direito: opções • Roda: zoom

Motor de Turing Não-Determinístico

Fita:

—

Configuração:

B branco · ▮ cabeçote · ✗ célula escrita neste passo

Velocidade:

Configurações Ativas (q, fita, cabeçote): 0 ramos

📜 Rastreamento 0 passos

Configuração inicial

Clique em "Iniciar Simulação" ou ▶ Play. Clique numa linha para saltar até aquele passo.