Kontextfreie Grammatik

In der Theorie der formalen Sprachen ist eine kontextfreie Grammatik eine formale Grammatik, die nur solche Ersetzungsregeln enthält, bei denen immer genau ein Nichtterminalsymbol auf eine beliebig lange Folge von Nichtterminal- und Terminalsymbolen abgeleitet wird. Die Ersetzungsregeln haben also die Form (mit Nichtterminalsymbol und Zeichenkette bestehend aus Nichtterminal- und/oder Terminalsymbolen).