Gramatika (informatika)

Formálna gramatika (niekedy jednoducho nazývaná len gramatika) je sada formujúcich pravidiel pre reťazce vo formálnom jazyku. Pravidlá popisujú ako formovať reťazce z abecedy jazyka, ktoré sú platné podľa jazykovej syntaxe. Gramatika nepopisuje význam reťazcov alebo čo môže byť s nimi robené v akomkoľvek kontexte, popisuje len ich formu.

Gramatika je množina pravidiel určujúcich, ktoré vety (t. j. postupnosti znakov a hlások) patria do jazyka a ktoré nie.