Salve ragazzi!! ho questo linguaggio: L={a^n b^k | n>0 k>n} La G=(X,V,S,P) x={a,b} V={i nonterminali} ora: il mio problema è creare le produzioni di quella grammatica, forse in genere di qualsiasi grammatica.. con che criterio posso creare le produzioni? c'è qualche regola precisa? so che comunque bisogna cominciare con il NT S,ma poi? io ho abbozzato questa: P={S-->aSB|a B-->bb} per ricavare ad esempio questa stringa: aaaaabbbbbb non mi ritrovo!! Aiuto!!