Gramar spec

has anyone done a grammar spec for english
i mean like they do with computer languages.
a compiler uses rules of the language in its translation to a general code(compiling) that is then used by a linker program to create computer based binary code (linking)
an example is
s; statement ending with ;
s-> v '=' p ; v is a variable p is a phrase '=' is a verb assign
p->v
p->v '*'v
p->v-v
p->v+v
p->v/v
p->*** etc