Formální gramatika: Porovnání verzí

Smazaný obsah Přidaný obsah
Garyczek (diskuse | příspěvky)
Přenesení konvencí ze článku Bezkontextová gramatika
m napřímení odkazu
Řádek 1:
'''Formální gramatika''' v [[Informatika (počítačová věda)|informatice]] označuje strukturu, která popisuje [[formální jazyk]]. Pojmenování je zvoleno kvůli podobnosti s [[mluvniceGramatika|gramatikami]] používanými v přirozených jazycích.
 
Gramatika se skládá z [[množina|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á'''.