Limbaje Formale, Automate şi Compilatoare

Automatul determinist minimal
Automatul minimal
Fie A = (Q,Σ,δ, q 0 , F) un automat finit determinist si relaţia ρ.
Dacă ∀q 1 , q 2 ∈ Q : q 1 sep q 2 , atunci A este minimal.
Altfel, automatul minimal:
A ρ = (Q/ρ,Σ,δ ρ ,[q 0 ], F/ρ)
Q/ρ - clasele de echivalenţă ale relaţiei ρ:
Q/ρ = {[q]|q ∈ Q}
δ ρ ([q], a) = [δ(q, a)]
[q 0 ] clasa de echivalenţă în care se află starea q 0
F/ρ = {[q]|q ∈ F}
LFAC (2014-15) Curs 3 20 / 30