Limbaje Formale, Automate şi Compilatoare

More documents

Recommendations

Info

Automatul determinist minimal Stări accesibile Fie A = (Q,Σ,δ, q 0 , F) automat finit determinist Starea q este accesibilă în A dacă există un cuvânt w ∈ Σ ∗ astfel încât q = δ(q 0 , w). LFAC (2014-15) Curs 3 16 / 30
Automatul determinist minimal Stări inseparabile Fie A = (Q,Σ,δ, q 0 , F) un automat finit determinist. Definiţie 3 Stările q 1 <strong>şi</strong> q 2 sunt inseparabile în raport cu F , (notat q 1 ρq 2 ) ddacă ∀w ∈ Σ ∗ : δ(q 1 , w) ∈ F ⇔ δ(q 2 , w) ∈ F LFAC (2014-15) Curs 3 17 / 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: Automatul determinist minimal Curs
Page 25 and 26: Automatul determinist minimal Stăr
Page 27 and 28: 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?