20.11.2014 Views

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.

Gramatici de tip 3 <strong>şi</strong> automate finite<br />

De la automate finite la gramatici de tip 3<br />

Pentru orice automat finit (determinist) există o gramatică G de tip<br />

3 astfel ca L(A) = L(G):<br />

În automatul A<br />

Σ<br />

Q<br />

În gramatica G<br />

T = Σ<br />

N = Q<br />

q 0 S = q 0<br />

δ(q, a) = p q → ap<br />

δ(q, a) ∈ F q → a<br />

dacă q 0 ∈ F se adaugă q 0 → ǫ<br />

LFAC (2014-15) Curs 3 14 / 30

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!