Redukovaná gramatika je taková gramatika, která je bez nedosažitelných neterminálů a kde každý neterminál má konečný rozvoj, tj. každý neterminál A gramatiky lze přepsat na řetězec terminálních symbolů.
Definice
Gramatika G je redukovaná, pokud každý neterminální symbol A vyhovuje podmínkám
, - existuje-li
, že
.
kde
jsou libovolné řetězce.
Gramatiku G nazveme nejednoznačnou, pokud existuje řetězec
, pro který existují dva různé způsoby odvození. Jinak nazveme gramatiku jednoznačnou.
Příklad redukované gramatiky
Mějme gramatiku
definovanou množinami
![{\displaystyle N=\{S,A\}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7099918cd7ad100fa1177c032cce9397eca9a9b0)
![{\displaystyle T=\{a,b\}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40fa7838b062124659345bd6e7598df43ecc9e93)
,
potom řetězec
je větou jazyka L(G), protože platí
a tedy
.
Z toho je vidět, že jazyk generovaný danou gramatikou je
.
Zároveň vidíme, že gramatika je redukovaná, protože všechna přepisovací pravidla jsou typu
. Gramatika je jednoznačná, protože existuje pouze jeden způsob jak vygenerovat x.
Příklad neredukované gramatiky
Nechť
je gramatika definovaná množinami
![{\displaystyle N=\{S,A\}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7099918cd7ad100fa1177c032cce9397eca9a9b0)
![{\displaystyle T=\{0,1\}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c370ff5db58b84ecd3cdf48419e6e1e198f656c)
,
G je nejednoznačná, protože větu 0101 lze odvodit dvěma různými způsoby
![{\displaystyle S\longrightarrow 0S1\longrightarrow 0101}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77fcad847346dbefce43cd429de467e47d576221)
![{\displaystyle S\longrightarrow SS\longrightarrow 01S\longrightarrow 0101}](https://wikimedia.org/api/rest_v1/media/math/render/svg/59033c1dfcf215d54db1b1a77a5e548c04a15f27)
G je neredukovaná, protože obsahuje pravidlo
. Pokud toto pravidlo aplikujeme, nelze již vygenerovat terminální řetězec. Když toto pravidlo z gramatiky odebereme, dostaneme redukovanou gramatiku.
Související články