Gyakorló feladatok formális nyelvekbõl 2. gyakorlat 1. Legyen $\Sigma=\{0,1\}$. A jelsorozatokat tekintsük mint bináris számokat. Adjunk automatát, amely pont a hárommal osztható számokat fogadja el! Vegyük figyelembe, hogy szám 0-val nem kezdõdik, kivéve ha az maga a 0. 2. Legyen $\Sigma=\{a,b,c\}$. A nyelv szavaira a következõ két dolog igaz: $\bullet$ összesen páratlan sok karakter van bennük $\bullet$ a után közvetlenül nem jöhet c, b után a, c után b. Determinisztikus véges automata kell erre a nyelvre. 3. Milyen nyelvet fogad el az alábbi véges automata? 4. Milyen nyelvet fogad el az alábbi automata? 5. Adjunk determinisztikus véges automatát a következõ nyelvhez: $L=\{w\in {\{a,b\}}^*\;\vert\;w$-ben jobbról a 3. betû b$\}$ 6. Milyen nyelvet generál az alábbi nyelvtan? $S\;\ensuremath{\rightarrow}\; aA\;\vert\;bB\;\vert\;b$ $A\;\ensuremath{\rightarrow}\; aS\;\vert\;bC$ $B\;\ensuremath{\rightarrow}\;aC\;\vert\; bS$ $C\;\ensuremath{\rightarrow}\;aB\vert\;bA \vert\; a$