Denne artikkelen mangler kildehenvisninger, og opplysningene i den kan dermed være vanskelige å verifisere. Kildeløst materiale kan bli fjernet. Helt uten kilder. (10. okt. 2015)
Kontekstfri grammatikk er et sett med formelle regler som kan brukes til å beskrive og uttrykke både overordnet og detaljert struktur til språk og setninger. Kontekstfri grammatikk blir blant annet benyttet til å beskrive høynivå programmeringsspråk, og er nært relatert til kompilatorer og syntaks. Språket for en kontekstfri grammatikk er kalt et kontekstfritt språk.
Hver kategori av språk eller grammatikker er en delmengde av kategorien rett over, og hver automatisering i hver kategori har en ekvivalent automatisering i kategorien rett over.
