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 />
Corectitudinea algoritmului<br />
Teorema 4<br />
Algoritmul se termină întotdeauna <strong>şi</strong> în final se obţine, pentru orice<br />
două stări q i <strong>şi</strong> q j , 0 ≤ i < j ≤ n: separabil[q i , q j ] = 1 ddacă q i sep q j<br />
(⇐=) Se arată că:<br />
P(k) : Pentru orice două stări q i <strong>şi</strong> q j (0 ≤ i < j ≤ n) separabile de către un cuvânt w<br />
cu |w| ≤ k (δ(q i , w) ∈ F,δ(q j , w) ∉ F), are loc:<br />
separabil[q i , q j ] = 1.<br />
Inducţie după |w|.<br />
LFAC (2014-15) Curs 3 30 / 30