01 Derivační strom
$$
\require{mathtools}
\DeclarePairedDelimiter\ceil{\lceil}{\rceil}
\DeclarePairedDelimiter\floor{\lfloor}{\rfloor}
\newcommand{\dv}[1]{\frac{\mathrm{d}}{\mathrm{d} #1}}
\newcommand{\dvv}[2]{\frac{\mathrm{d} #1}{\mathrm{d} #2}}
$$
# Derivační strom
# Konečný automat
Na příkladu konečného automatu
- Gramatika s pravidly, např:
- $S \rightarrow aA$
- $S \rightarrow aAb$
- $A \rightarrow \varepsilon$
- (tedy je bezkontextová gramatika)
- Z toho lze pravidly vytvořit:
- $S \Rightarrow aA \Rightarrow a \in L(G)$
- $S \Rightarrow aA \Rightarrow aaAb \Rightarrow aab \in L(G)$
- Z toho tedy vychází jazyk např. $L = {a^{i+1} b^{1}:i \ge 0}$