Limbaje Formale, Automate şi Compilatoare
Automatul determinist minimal Algoritm pentru determinarea relaţiei ρ Fie A = (Q,Σ,δ, q 0 , F), Q = {q 0 , q 1 ,...,q n } Tablou separabil[q i , q j ]: separabil[q i , q j ] = 1 ddacă q i sep q j (separabil[q i , q j ] = 0 ddacă q i ρq j ) iniţial separabil[q i , q j ] = 1 ddacă q i ∈ F, q j ∉ F (sau invers) dacă există a ∈ Σ cu δ(q i , a) sep δ(q j , a), atunci q i sep q j , adică : dacă separabil[q i , q j ] = 0 şi există a ∈ Σ cu separabil[δ(q i , a),δ(q j , a)] = 1, atunci separabil[q i , q j ] = 1 LFAC (2014-15) Curs 3 23 / 30
Automatul determinist minimal Algoritm pentru determinarea relaţiei ρ lista[p, r] : (p ≠ r) o pereche de stări inseparabile (q i , q j ) (separabil[q i , q j ] = 0 ) se adaugă la lista[p, r] dacă: ⇐⇒ există a ∈ Σ astfel încât p = δ(q i , a), r = δ(q j , a) ((qi, qj) ≠ (p, r)) separabil[p, r] = 0 (qi, qj) → lista[δ(q i , a),δ(qj, a)] dacă separabil[q i , q j ] = 0 şi separabil[δ(q i , a),δ(qj, a)] = 0 LFAC (2014-15) Curs 3 24 / 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 and 24: Automatul determinist minimal Stăr
- Page 25 and 26: Automatul determinist minimal Stăr
- Page 27 and 28: Automatul determinist minimal Autom
- Page 29 and 30: Automatul determinist minimal Autom
- Page 31: Automatul determinist minimal Autom
- 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 />
Algoritm pentru determinarea relaţiei ρ<br />
lista[p, r] : (p ≠ r)<br />
o pereche de stări inseparabile (q i , q j ) (separabil[q i , q j ] = 0 ) se<br />
adaugă la lista[p, r] dacă:<br />
⇐⇒<br />
există a ∈ Σ astfel încât p = δ(q i , a), r = δ(q j , a) ((qi, qj) ≠ (p, r))<br />
separabil[p, r] = 0<br />
(qi, qj) → lista[δ(q i , a),δ(qj, a)] dacă separabil[q i , q j ] = 0 <strong>şi</strong><br />
separabil[δ(q i , a),δ(qj, a)] = 0<br />
LFAC (2014-15) Curs 3 24 / 30