Übrigens meine ich, dass der Hinweis darauf, dass es eine Typ-1-Grammatik für C gibt, nicht darüber aussagt, ob ein bestimmtes Konstrukt kontextfrei ist. Eine Typ-2-Grammatik würde verlangen, dass sämtliche Konstrukte kontextfrei sind. Die Einordnung in Typ-1 sagt also lediglich aus, dass es mindestens ein Konstrukt gibt, welches nicht kontextfrei ist. Ob damit ein gewähltes Konstrukt K kontextfrei ist, lässt sich damit nicht entscheiden. Da unterliegst du wohl einem unzulässigen Umkehrschluss.