Limbaje Formale, Automate şi Compilatoare
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
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 />
LFAC (2014-15) Curs 3 25 / 30