1. Feladat Az első feladatban szereplő - kérdések 1 Minden környezet független nyelv felismerhető veremautomatával. Minden környezet független nyelv felismerhető 1 veremmel. Minden 3. típusú nyelv felismerhető VNDA-val. Minden 0- veremautomata véges determinisztikus automata. Minden rekurzív nyelv rekurzívan felsorolható. Minden (kiterjesztett) 3. típusú nyelvtan 1. típusú nyelvtan. Minden nyelvtannal leírt nyelv parciálisan rekurzív. Minden rekurzívan felsorolható nyelv parciálisan rekurzív. Minden Chomsky 1. típusú nyelv rekurzív nyelv. Minden Chomsky 2. típusú nyelv rekurzívan felsorolható nyelv. Minden Chomsky 2. típusú nyelv rekurzív nyelv. Minden parciálisan rekurzív nyelv környezet-függő. Minden parciálisan rekurzív nyelv reguláris. Minden nyelvtannal leírt nyelv rekurzívan felsorolható. Minden nyelvtannal leírt nyelv reguláris. Minden nyelvtannal leírt nyelv rekurzív. Minden nyelvtannal leírt nyelv felismertethető VDA-val. Minden Chomsky 1. típusú nyelv felismerhető 1 veremmel. Minden Chomsky 1. típusú nyelv felismerhető VDA-val. Minden rekurzívan felsorolható nyelv reguláris. A formális nyelvek Chomsky féle hierarchiája Típus Nyelvtan Nyelv Elfogadó automata Type-0 Korlátozás nélküli Rekurzívan felsorolható Turing-gép Type-1 Környezet függő Környezet függő Lineárisan korlátos Type-2 Környezet független Környezet független Veremautomata Type-3 Szabályos Szabályos Véges állapotú
2. Feladat 4 x Formális nyelvtan, közvetett/közvetlen levezetés, generált nyelv 2 4 x n-vermes automata, konfiguráció, felismert nyelv
3. Feladat 7 x Kleene-Tétel L k i,j halmazainak rekurzív definíciója: 3 5 x A 2. Típusú láncmentesítésnél használt H(A) halmazokat fokozatosan közelítő halmazsorozat rekurzív definíciója: 4 x A 2. Típusú epszilon-mentesítésnél használt H halmazt fokozatosan közelítő halmazsorozat rekurzív definíciója: 4 x az L(a,q) VDA maradéknyelv definíciója és tulajdonságai: 2 x Álatlánosított Reguláris Nyelvek definíciója:
4. - 5. Feladat 4 x KMP automata célja és def.-ja! 4 Mintafelismerés Knuth-Morris-Pratt T ábécé, n T*;m epsz minta; m=t1,t2, tn betűnként kiírva Tartalmazza-e n m-et? Az automata: Q={q0,q1,..ql(m)} állapotok, amennyi a minta hossza, q0 a kezdő F={ql(m)} végállapot - Invariáns: δ(q0,v)=qj (m v és j=l(m) vagy m v és j=max l(m)): w Pre(m) és w Post(m) δ(ql(m),t)=ql(m) δ(qi,t)=qj j=max(l(w)) *i=0,1 l(m)-1] 3 x Milyen a VDA szintézisének kiterjesztett automatákon alapuló módszere? Az élekre nem csak egy betűt, hanem reguláris kifejezéseket lehet írni. A reguláris kifejezéseket fentről lefelé bontjuk részműveletekre addig, amíg az éleken már csak betűk szerepelnek. (Ez már VDA.) Ha a legkülső művelet konkatenáció, akkor bevezetünk egy közbülső állapotot. Az eleje megy az első átmenetre, a vége a másodikra. Unionál két élt rajzolunk a két állapot közé és külön-külön írjuk rá a részeket. Iterációnál hurkélt rajzolunk. (Rajzolni könnyebb lenne, de most nincs időm.) 3 x Melyek az általánosított reguláris nyelvek és többen vannak e, mint a közönséges reguláris nyelvek? 2 x Hogyan dönti el azt, hogy egy VDA minimális? Megnézném az ismert algoritmussal, hogy vannak-e ekvivalens állapotai. Ha nincsenek és összefüggő (azaz nincs nem elérhető állapota), akkor minimális.
6. Feladat 0-ás nyelvosztály: 5 Tetszőleges rekurzívan felsorolható nyelv Tetszőleges parciális rekurzív nyelv 2 veremmel elfogadott nyelv 1-es nyelvosztály: [b n a n b n ; n>=1} ill. {cn b n a n ; n>=1} Dadogós szavak 2-es nyelvosztály: Helyes zárójelezés Palindrómák nyelve l(a) = l(b) 1 verem által üres veremmel felismert / elfogadott nyelv 3-as nyelvosztály: 4-el osztható bináris számok 11-el/ 5-el / 3-al osztható decimális számok 7-el / 3al osztható 7-es/3-as számrendszerbeli számok
8. Feladat 4 x Nagy Bar-Hillel Lemma 6
7
3 x Kis Bar-Hillel Lemma 8
2 x Myhill Nerode tétel 9