Limbaje Formale, Automate şi Compilatoare

More documents

Recommendations

Info

Proprietăţi de închidere pentru L 3 Închiderea la operaţia de oglindire Fie L limbaj de tip 3 (regulat). Fie G = (N, T, S, P) de tip 3, în formă normală, care generează L (L = L(G)) Presupunem ca simbolul de start S nu apare in partea dreaptă a vreunei reguli. Gramatica G ′ = (N, T, S ′ , P ′ ) unde P ′ constă din reguli S ′ → aA, pentru orice regulă A → a din P reguli B → aA pentru orice regulă A → aB din P regula S → ǫ regula S ′ → a, pentru orice regulă S → a din P (a ∈ T ∪{ǫ}) este de tip 3 şi generează L R LFAC (2014-15) Curs 2 6 / 26
Lema Bar-Hillel Curs 2 1 Proprietăţi de închidere pentru L 3 2 Lema Bar-Hillel 3 Automate finite deterministe 4 Automate finite nedeterministe LFAC (2014-15) Curs 2 7 / 26
Page 1 and 2: Limbaje Formale, Automate şi Compi
Page 3 and 4: Proprietăţi de închidere pentru
Page 5: Proprietăţi de închidere pentru
Page 9 and 10: Lema Bar-Hillel Demonstraţie w = a
Page 11 and 12: Automate finite deterministe Curs 2
Page 13 and 14: Automate finite deterministe Automa
Page 15 and 16: Automate finite deterministe Reprez
Page 17 and 18: Automate finite deterministe Limbaj
Page 19 and 20: Automate finite deterministe Exempl
Page 21 and 22: Automate finite deterministe Exempl
Page 23 and 24: Automate finite nedeterministe Auto
Page 25 and 26: Automate finite nedeterministe Exte
Page 27 and 28: Automate finite nedeterministe Limb
Page 29: Automate finite nedeterministe Exem

Limbaje Formale, Automate şi Compilatoare

Create successful ePaper yourself

Delete template?

Save as template?