Sziasztok! A mai órán a kis zh után ( eredmémyek és félévi pontok itt) az operátor precedencia elemzést néztük meg. egy kis segédanyag , hogy hogyan kell a relációkat meghatározni. Az alábbi feladatok megoldásai is fent vannak, gyakoroljatok. Volt még a 3. példa, azaz, hogy hogyan lehet egy nyelvtanról megállapítani, hogy mi a generált nyelv. Általános módszer nincsen, azt kell nézni, hogy hogyan mûködik a nyelvtan, aztán belátni, hogy tényleg csak azokat a szavakat generálja, amikre gondolunk. Volt még pici mese a Turing géprõl, ezt nézzétek meg a jegyzetben. Mindenkinek minden jót a vizsgákra, ügyesek legyetek. 1. Adott az alábbi nyelvtan mely logikai kifejezéseket generál. $$\begin{eqnarray*} A& \ensuremath{\rightarrow}& A\vee B\;\vert\;B\\ B&\ensuremat... ...rightarrow}&p(X)\;\vert\;(A) \\ X & \ensuremath{\rightarrow}&x \end{eqnarray*}$$ a) Készítsen operátor precedencia elemzõt a nyelvtanhoz! b) Elemezze segítségével az $p(x)\wedge\neg p(x)$ mondatot! Megoldás 2. (a) Operátor precedencia elemzõ kell a következõ nyelvtanhoz: $$\begin{eqnarray*} S& \ensuremath{\rightarrow}& (L)\;\vert\;a\\ L&\ensuremath{\rightarrow}&L,S\;\vert\;S \end{eqnarray*}$$ (b) Ha ez megvan, akkor elemezd az elemzõvel az $(a,(a,a))$ szót! Megoldás 3. Adott az alábbi nyelvtan: $$\begin{eqnarray*} S& \ensuremath{\rightarrow}& XAAAB\\ B&\ensuremath{\rightarro... ...th{\rightarrow}& 1X \\ XY & \ensuremath{\rightarrow}& \epsilon \end{eqnarray*}$$ Adja meg a nyelv verbális specifikációját! (Magyarul: Mi a generált nyelv?) 4. Adjunk lineárisan korlátos Turing gépet az $\{a^nb^nc^n\}$ nyelvhez. (A Turing gép nem lép le az input szó által kijelölt területrõl, de feltehetjük, hogy felismeri azt, hogy az elsõ illetve, hogy az utolsó mezõn áll. Formálisan: az input szó $\char93$ és $\$ kezdõ és záró markerrel van határolva.)