A finite collection of rules which tell us whether certain strings or sentences are grammatical or not. A grammar is context free if it is in the form of: