Changeset 260 for liacs/TPFL2010/assignment3/report.tex
- Timestamp:
- Dec 17, 2010, 1:00:33 AM (14 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
liacs/TPFL2010/assignment3/report.tex
r259 r260 201 201 \newpage 202 202 \section{Opgave 5.10} 203 Een voorbeeld van een grammatica welke wel $LL(k+1)$ is maar niet $LL(k)$, is gegeven in \cite{STOC69}[pg.~174] en is de grammatica van de taal $\{a^n(b^kd|b|cc)^n : n \ge 1\}$: 204 \begin{equation} 203 Een voorbeeld van een grammatica welke wel $LL(k+1)$ is maar niet $LL(k)$, is 204 gegeven in context van het aantonen dat voor elke $k > 0$ de $L(k+1)$ talen 205 niet de $L(k)$ talen zijn. \cite{STOC69}[pg.~174] en is de grammatica van de 206 taal $\{a^n(b^kd|b|cc)^n : n \ge 1\}$: 207 \begin{equation*} 205 208 \begin{array}{l} 206 209 S \rightarrow aSA \\ … … 208 211 A \rightarrow cc \\ 209 212 A \rightarrow bB \\ 210 A \rightarrow \ varepsilon \\213 A \rightarrow \epsilon \\ 211 214 B \rightarrow b^{k-1}d \\ 212 215 \end{array} 213 \end{equation }216 \end{equation*} 214 217 215 218 216 219 \section{Opgave 5.14} 220 Laat $G$ een LR(0) grammatica zijn met $A \rightarrow \alpha \bullet, \alpha 221 \ne \epsilon$, welke geldig is voor een levensvatbare prefix $\gamma$ er geen 222 enkel ander \emph{item} kan geldig zijn voor $\gamma$. Als er een \emph{item} 223 van de vorm $A \rightarrow \alpha B$ is levert dit een shift-reduce error op. 224 Als er een \emph{item} van de vorm $A \rightarrow \beta \bullet : \alpha \ne 225 \beta$ zal het betekenen dat er een \emph{item} 'vooraf' aan gegaan $A 226 \rightarrow \bullet \alpha$ \underline{en} $A \rightarrow \bullet \beta$, wat 227 niet mogelijk is omdat enkel de eerste geldig kan zijn per definitie. 217 228 218 229
Note:
See TracChangeset
for help on using the changeset viewer.