Limbaje Formale, Automate şi Compilatoare
Automatul determinist minimal Stări inseparabile Fie A = (Q,Σ,δ, q 0 , F) un automat finit determinist. Definiţie 3 Stările q 1 şi q 2 sunt inseparabile în raport cu F , (notat q 1 ρq 2 ) ddacă ∀w ∈ Σ ∗ : δ(q 1 , w) ∈ F ⇔ δ(q 2 , w) ∈ F Dacă există w ∈ Σ ∗ cu δ(q 1 , w) ∈ F şi δ(q 2 , w) ∉ F (sau invers), stările q 1 şi q 2 sunt separabile (de către w), şi notăm q 1 sep q 2 q 1 sep q2 ⇔ ¬q 1 ρq 2 . LFAC (2014-15) Curs 3 17 / 30
Automatul determinist minimal Stări inseparabile Fie A = (Q,Σ,δ, q 0 , F) un automat finit determinist. Definiţie 3 Stările q 1 şi q 2 sunt inseparabile în raport cu F , (notat q 1 ρq 2 ) ddacă ∀w ∈ Σ ∗ : δ(q 1 , w) ∈ F ⇔ δ(q 2 , w) ∈ F Dacă există w ∈ Σ ∗ cu δ(q 1 , w) ∈ F şi δ(q 2 , w) ∉ F (sau invers), stările q 1 şi q 2 sunt separabile (de către w), şi notăm q 1 sep q 2 q 1 sep q2 ⇔ ¬q 1 ρq 2 . Observaţie: dacă q 1 ∈ F şi q 2 ∉ F , atunci q 1 sep q 2 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 7 and 8: Automate finite cu ǫ-tranziţii Ex
- Page 9 and 10: Automate finite cu ǫ-tranziţii Ex
- Page 11 and 12: 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 17 and 18: Automate finite cu ǫ-tranziţii Ex
- Page 19 and 20: Gramatici de tip 3 şi automate fin
- Page 21 and 22: Automatul determinist minimal Curs
- Page 23: Automatul determinist minimal Stăr
- Page 27 and 28: Automatul determinist minimal Autom
- Page 29 and 30: Automatul determinist minimal Autom
- Page 31 and 32: Automatul determinist minimal Autom
- Page 33 and 34: Automatul determinist minimal Algor
- Page 35 and 36: Automatul determinist minimal Algor
- Page 37 and 38: Automatul determinist minimal Algor
- Page 39 and 40: Automatul determinist minimal 9.for
- Page 41 and 42: Automatul determinist minimal Exemp
- Page 43 and 44: Automatul determinist minimal Exemp
- Page 45 and 46: Automatul determinist minimal Exemp
- Page 47 and 48: Automatul determinist minimal Corec
Automatul determinist minimal<br />
Stări inseparabile<br />
Fie A = (Q,Σ,δ, q 0 , F) un automat finit determinist.<br />
Definiţie 3<br />
Stările q 1 <strong>şi</strong> q 2 sunt inseparabile în raport cu F , (notat q 1 ρq 2 ) ddacă<br />
∀w ∈ Σ ∗ : δ(q 1 , w) ∈ F ⇔ δ(q 2 , w) ∈ F<br />
Dacă există w ∈ Σ ∗ cu δ(q 1 , w) ∈ F <strong>şi</strong> δ(q 2 , w) ∉ F (sau invers),<br />
stările q 1 <strong>şi</strong> q 2 sunt separabile (de către w), <strong>şi</strong> notăm q 1 sep q 2<br />
q 1 sep q2 ⇔ ¬q 1 ρq 2 .<br />
LFAC (2014-15) Curs 3 17 / 30