Objetivos do Analisador Léxico (Scanner):
💡 O scanner é o único passo do compilador que tem contato com cada caractere do programa de entrada.
Conceitos Essenciais:
Um autômato finito é formalmente representado pela quíntupla: M = (S, Σ, δ, s₀, SA)
| Componente | Descrição |
|---|---|
| S | Conjunto finito de estados |
| Σ | Alfabeto de entrada (caracteres) |
| δ | Função de transição: (estado_atual, caractere) → próximo_estado |
| s₀ | Estado inicial |
| SA | Conjunto de estados de aceitação (finais) |
Exemplo: FA que reconhece as palavras-chave new, not e while
Diagrama de transição:
