Limbaje Formale, Automate şi Compilatoare

More documents

Recommendations

Info

Automatul determinist minimal Automat minimal Observaţii: Relatia ρ este relaţie de echivalenţă. ∃a ∈ Σ : δ(p, a) sep δ(q, a) =⇒ p sep q. Teorema 2 Fie A un automat determinist cu toate stările accesibile. Daca toate stările din A sunt separabile în raport cu F, atunci nu există un alt automat A ′ cu număr mai mic de stări <strong>şi</strong> L(A) = L(A ′ ). LFAC (2014-15) Curs 3 19 / 30
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
Page 1 and 2: Limbaje Formale, Automate şi Compi
Page 3 and 4: Automate finite cu ǫ-tranziţii Cu
Page 5 and 6: Automate finite cu ǫ-tranziţii Ex
Page 13 and 14: Automate finite cu ǫ-tranziţii Au
Page 15 and 16: Automate finite cu ǫ-tranziţii Au
Page 19 and 20: Gramatici de tip 3 şi automate fin
Page 21 and 22: Automatul determinist minimal Curs
Page 23 and 24: Automatul determinist minimal Stăr
Page 25 and 26: Automatul determinist minimal Stăr
Page 27: Automatul determinist minimal Autom
Page 31 and 32: Automatul determinist minimal Autom
Page 33 and 34: Automatul determinist minimal Algor
Page 39 and 40: Automatul determinist minimal 9.for
Page 41 and 42: Automatul determinist minimal Exemp
Page 47 and 48: Automatul determinist minimal Corec

Limbaje Formale, Automate şi Compilatoare

Create successful ePaper yourself

Delete template?

Save as template?