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 />
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 />
Observaţie: dacă q 1 ∈ F <strong>şi</strong> q 2 ∉ F , atunci q 1 sep q 2<br />
LFAC (2014-15) Curs 3 17 / 30