formell grammatik

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.