Limbaje Formale, Automate şi Compilatoare
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Automatul determinist minimal<br />
Automatul minimal<br />
Fie automatul minimal: A ρ = (Q/ρ,Σ,δ ρ ,[q 0 ], F/ρ)<br />
Q/ρ - clasele de echivalenţă ale relaţiei ρ:<br />
δ ρ ([q], a) = [δ(q, a)]<br />
[q 0 ] clasa de echivalenţă în care se află starea q 0<br />
F/ρ = {[q]|q ∈ F}<br />
Teorema 3<br />
Fie automatul determinist A, cu toate stările accesibile. Automatul A ρ<br />
construit ca mai sus este automatul cu număr minim de stări care<br />
acceptă limbajul L(A).<br />
LFAC (2014-15) Curs 3 22 / 30