GRAMMATICA -> LINGUAGGIO
Gramma%ca è una tupla Quadrupla G = (V, T, S, P)
• V vocabolario n-term e term
• T term (minusc)
• S simbolo iniziale (maiusc)
• P produzioni: ???
V+ : 1,2,3…n
V* : 0,1,2,3…n
La prima produzione ha come driver lo start symbol della gramma%ca
Gramma%ca libera nessun term a sx
Gramma%ca NON libera non-term a sx
a^n b^n c^n
p
z= a^p b^p c^p
a….a b….b c….c
decompongo in uvwxy |vwx| <= p
u = a
v = ab
w = b
x = bc
y = c
i = 0
è Se z= uvwxy e |vwx|<= p e |vx|> 0
z= aabbcc.
