En välgjord
formell grammatik är ett regelsystem som beskriver ett
språk i någon form uttömmande och utan undantag eller inbyggda motsägelser. De primära användningsområdena för en formell
grammatik är bland annat inom
matematiken, där de kan användas för att formulera
bevis och garantera oemotsägbarhet och stringens, och inom
datavetenskapen där de används till att definiera
programspråk.