SED & Teoria de Autômatos

Interseção T semafórica — modelo SED com 3 ruas

Estação de engarrafamento — simulação animada com pipeline

Exemplo motivador — máquina de status com alfabeto, palavras e linguagem

Linguagens L₁, L₂, L₃ expandidas · prefixo, sufixo, subcadeia interativos

Concatenação, fecho de prefixo, fecho de Kleene e pós-linguagem

Exemplos 2.3, 2.4, 2.6, 2.7 — autômatos interativos com deadlock e livelock

Técnicas de prova · alfabetos · strings · concatenação · linguagens · problemas

Definição formal de DFA · exemplos 2.1 e 2.4 interativos · função δ̂ · linguagem regular

Não-determinismo · construção de subconjuntos · ε-transições · ECLOSE · explosão exponencial

Operadores · precedência · Thompson · equivalência RE⟺FA · leis algébricas

Lema do Bombeamento interativo · fechamento · decisão · minimização de DFA