"vasaktuletus" - 1 õppematerjal

Rekursiooni ja keerukusteooria eksami konspekt

lähtesümbol (mitteterminaal).
 DEF: KV grammatikaga G = (N,Σ,P,S) genereeritav keel on sõnede hulk L(G)={ x | S * x ning x ∈Σ* } (iga x, mis kuulub terminaalide tähestikku ja on produtseeritav lähtesümbolist). DEF: Sõnede hulk L on KV keel, kui leidub KV grammatika G, nii et L=L(G). DEF: KV-grammatika G on ühene, kui iga sõne x ∈ L(G) korral leidub ainult 1 tuletuspuu (1 vasaktuletus). DEF: KV-keel L on ühene, kui kui leidub ühene KV-grammatika G , nii et L = L(G). Teoreem: Olgu L1 ja L2 ühesed keeled. Kui L1 ∩ L2 = ∅, siis on keel L1 ∪ L2 samuti ühene. 
 T: Oletame, et L1-l ja L2-l on ühisosa. Keeled L2 = {anbncm | n,m > 0} ja L3 = {ambncn | n, m > 0} on ühesed, grammatikad on {S→AB, A→aAb, A→ab, B →cB, B →c} ja {S →AB, A→aA, A→a, B →bBc, B →bc}. Keel L = {anbncm | n,m > 0} ∪ {ambncn | n,m > 0} on mitmene, sest saab mitu tuletuspuud teha