Formális nyelvek gyakorlat (8) 2001. április 3., kedd 1. GNF kell: $A\ensuremath{\rightarrow}BC$, $B\ensuremath{\rightarrow}CA\vert b$, $C\ensuremath{\rightarrow}AB\vert a$ 2. PDA kell ahhoz a nyelvhez, melynak ábécéje az $\{a,b\}$ és szavaiban az $a$ és a $b$ karakterek száma megegyezik. 3. Veremautomata kell: $\{a^ib^jc^k\;\vert\;i+k=j\geq 0\;\}$ 4. PDA kell a következõ nyelvhez: $\{a^mb^n\;\vert\;1\leq m\leq n\leq 2m\;\}$ 5. Az $L_1$ és az $L_2$ nyelveket is az definiálja, hogy bennük az $ab$ és a $ba$ minirészsorozatok száma azonos. Viszont $L_1$ ábécéje az $\{a,b\}$, $L_2$-é pedig az $\{a,b,c\}$. Mindkét nyelvre kell automata vagy nyelvtan. 6. Tervezzen automatát azon $\Sigma=\{a,b\}$ feletti nyelvhez, melynek szavaiban a magányos b-k száma meghaladja az egynél hosszabb homogén a sorozatok számát.