Syntaktická analýza.

Ciele

  1. Vlastnosti bezkontextových gramatík.

Postup

Krok 1

V tomto kroku sa zameriame na niektoré vlastnosti bezkontextových gramatík.

Úloha 1.1

Daná je nasledujúca gramatika:

$$S \rightarrow aS~|~Sb.$$

Vysvetlite, aký jazyk generuje uvedená gramatika.

Úloha 1.2

Na nasledujúcom obrázku je derivačný strom popisujúci odvodenie slova $w = abaaacac$ podľa určitej bezkontextovej gramatiky $G$.

Derivačný strom
Obr. 1: Derivačný strom

a) Vypíšte pravidlá, ktorých existenciu môžeme vyvodiť z uvedeného derivačného stromu.
b) Napíšte ľavé odvodenie slova $w$ podľa gramatiky $G$.
c) Napíšte pravé odvodenie slova $w$ podľa gramatiky $G$.

Úloha 1.3

Navrhnite gramatiku generujúcu jazyk palindromov $L=\left\{ w \in \left\{a, b \right\}^{*}~|~w = w^{R}\right\}$.

Úloha 1.4

(Opakovanie) Zistite, či uvedená gramatika je LL(1) gramatikou.

$$\begin{array}{l} A \rightarrow BCb~|~aB \\ B \rightarrow bB ~|~ \varepsilon \\ C \rightarrow cA ~|~ \varepsilon \\ \end{array}$$