Aggiunto esempio induzione CFG
Principio d’induzione sulle grammatiche libere dal contesto