Formální gramatika: Porovnání verzí
Smazaný obsah Přidaný obsah
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 [[
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á'''.
|