En annen nyvinning var at syntaksen til Algol ble formelt definert i form av en grammatikk. Denne var i såkalt Backus-Naur form (BNF), og dette er i dag den vanligste måten å spesifisere et programmeringsspråk.