Kapittel 4, «den syntaktiske spesifikasjon av programmeringsspråk» (), behandler måter å spesifisere syntaksen i et programmeringsspråk. Kapittelet behandler kontekstfri grammatikk, derivasjoner og parsertrær og til slutt kapabilitetene til kontekstfri grammatikk.