Formální gramatika

Formální gramatika v informatice označuje strukturu, která popisuje formální jazyk. Pojmenování je zvoleno kvůli podobnosti s gramatikami používanými v přirozených jazycích.

Gramatika se skládá z množiny pravidel, pomocí kterých může být každé slovo předepsaným způsobem vygenerováno z předem daného počátečního symbolu. Generování probíhá tak, že vezmeme počáteční symbol, na něj aplikujeme kterékoli z pravidel, na získaný řetězec opět aplikujeme kterékoli z pravidel atd., dokud nevygenerujeme požadované slovo. Pokud je pro každé slovo nejvýše jeden postup generování, gramatika je jednoznačná.

Mějme například abecedu obsahující symboly '${\displaystyle a}$' a '${\displaystyle b}$', počáteční symbol je '${\displaystyle S}$' a pravidla jsou definována takto:

1. ${\displaystyle S\longrightarrow aSb}$

2. ${\displaystyle S\longrightarrow ba}$

začneme symbolem „${\displaystyle S}$“ a vybereme pravidlo, které budeme aplikovat. Pokud vybereme 1, nahradíme '${\displaystyle S}$' řetězcem '${\displaystyle aSb}$' a obdržíme tak „${\displaystyle aSb}$“. Znovuzvolením 1. pravidla nahradíme '${\displaystyle S}$' opět řetězcem '${\displaystyle aSb}$' a obdržíme „${\displaystyle aaSbb}$“. Tento proces můžeme opakovat, dokud nejsou všechny symboly našeho slova z abecedy (tj. '${\displaystyle a}$' a '${\displaystyle b}$'). Abychom tedy vygenerovali slovo, musíme zvolit 2. pravidlo a přepsat '${\displaystyle S}$' na '${\displaystyle ba}$'. Tím obdržíme „${\displaystyle aababb}$“ a jsme hotovi. Jazykem gramatiky jsou všechna slova, která dokážeme vygenerovat: ${\displaystyle \left\{ba,abab,aababb,aaababbb,...\right\}}$

Znaky z abecedy (v našem případě '${\displaystyle a}$' a '${\displaystyle b}$') se nazývají terminály, ostatní znaky (${\displaystyle S}$) se nazývají neterminály.