נתון דקדוק L חסר הקשר (Grammar Free Context). נסמן את הדקדוק המתקבל מהמרת L לצורה חומסקיאנית נורמלית (Form Normal Chomsky ) ב- T'
טענה: הדקדוק T' המתקבל מההמרה לעיל אינו דקדוק חסר הקשר
done
נתון דקדוק L חסר הקשר (Grammar Free Context Free Grammar). נסמן את הדקדוק המתקבל מהמרת L לצורה חומסקיאנית נורמלית (F Chormsky Normal ChFormsky ) ב- T'
טענה: הדקדוק T' המתקבל מההמרה לעיל אינו דקדוק חסר הקשר