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 />
Algoritm pentru determinarea relaţiei ρ<br />
Se iniţializează tabloul separabil (separabil[q i , q j ] = 1, dacă<br />
q i ∈ F , q j ∉ F sau invers)<br />
Pentru orice q i , q j (0 ≤ i < j ≤ n) cu separabil[q i , q j ] = 0 :<br />
Dacă există a ∈ Σ cu separabil[δ(q i , a),δ(q j , a)] = 1, atunci:<br />
separabil[q i , q j ] = 1<br />
trebuie modificat tabloul separabil pentru toate perechile de stări a<br />
căror separabilitate depinde de q i , q j (perechile de stări din<br />
lista[q i , q j ])<br />
Altfel (pentru orice a ∈ Σ are loc separabil[δ(q i , a),δ(q j , a)] = 0):<br />
pentru orice a ∈ Σ cu δ(q i , a) ≠ δ(q j , a) adaugă (q i , q j ) la<br />
lista[δ(q i , a),δ(q j , a)]<br />
LFAC (2014-15) Curs 3 25 / 30
Change language