Statisztikailag Igazolt Varhato Vizsgakerdesek

Formlis nyelvek s automatk vizsghoz statisztikailag igazolt vrhat vizsgakrdsek1. FeladatAz els feladatban szerepl IGAZ-HAMIS krdsek

1IGAZ IGAZ IGAZ IGAZ IGAZ IGAZ IGAZ IGAZ IGAZ IGAZ IGAZ HAMIS HAMIS HAMIS HAMIS HAMIS HAMIS HAMIS HAMIS HAMIS

Minden krnyezet fggetlen nyelv felismerhet veremautomatval. Minden krnyezet fggetlen nyelv felismerhet 1 veremmel. Minden 3. tpus nyelv felismerhet VNDA-val. Minden 0- veremautomata vges determinisztikus automata. Minden rekurzv nyelv rekurzvan felsorolhat. Minden (kiterjesztett) 3. tpus nyelvtan 1. tpus nyelvtan. Minden nyelvtannal lert nyelv parcilisan rekurzv. Minden rekurzvan felsorolhat nyelv parcilisan rekurzv. Minden Chomsky 1. tpus nyelv rekurzv nyelv. Minden Chomsky 2. tpus nyelv rekurzvan felsorolhat nyelv. Minden Chomsky 2. tpus nyelv rekurzv nyelv. Minden parcilisan rekurzv nyelv krnyezet-fgg. Minden parcilisan rekurzv nyelv regulris. Minden nyelvtannal lert nyelv rekurzvan felsorolhat. Minden nyelvtannal lert nyelv regulris. Minden nyelvtannal lert nyelv rekurzv. Minden nyelvtannal lert nyelv felismertethet VDA-val. Minden Chomsky 1. tpus nyelv felismerhet 1 veremmel. Minden Chomsky 1. tpus nyelv felismerhet VDA-val. Minden rekurzvan felsorolhat nyelv regulris.

A formlis nyelvek Chomsky fle hierarchija Tpus Type-0 Type-1 Type-2 Type-3 Nyelvtan Korltozs nlkli Krnyezet fgg Krnyezet fggetlen Szablyos Nyelv Rekurzvan felsorolhat Krnyezet fgg Krnyezet fggetlen Szablyos Elfogad automata Turing-gp Linerisan korltos Veremautomata Vges llapot

Formlis nyelvek s automatk vizsghoz statisztikailag igazolt vrhat vizsgakrdsek2. Feladat 4 x Formlis nyelvtan, kzvetett/kzvetlen levezets, generlt nyelv

2

4 x n-vermes automata, konfigurci, felismert nyelv

Formlis nyelvek s automatk vizsghoz statisztikailag igazolt vrhat vizsgakrdsek3. Feladat 7 x Kleene-Ttel Lki,j halmazainak rekurzv defincija:

3

5 x A 2. Tpus lncmentestsnl hasznlt H(A) halmazokat fokozatosan kzelt halmazsorozat rekurzv defincija:

4 x A 2. Tpus epszilon-mentestsnl hasznlt H halmazt fokozatosan kzelt halmazsorozat rekurzv defincija:

4 x az L(a,q) VDA maradknyelv defincija s tulajdonsgai:

2 x latlnostott Regulris Nyelvek defincija:

Formlis nyelvek s automatk vizsghoz statisztikailag igazolt vrhat vizsgakrdsek4. - 5. Feladat 4 x KMP automata clja s def.-ja! Mintafelismers Knuth-Morris-Pratt T bc, nT*;mepsz minta; m=t1,t2,tn betnknt kirva Tartalmazza-e n m-et? Az automata: Q={q0,q1,..ql(m)} llapotok, amennyi a minta hossza, q0 a kezd F={ql(m)} vgllapot - Invarins: (q0,v)=qj (mv s j=l(m) vagy mv s j=max l(m)): wPre(m) s wPost(m) (ql(m),t)=ql(m) (qi,t)=qj j=max(l(w)) *i=0,1l(m)-1] 3 x Milyen a VDA szintzisnek kiterjesztett automatkon alapul mdszere?Az lekre nem csak egy bett, hanem regulris kifejezseket lehet rni. A regulris kifejezseket fentrl lefel bontjuk rszmveletekre addig, amg az leken mr csak betk szerepelnek. (Ez mr VDA.) Ha a legkls mvelet konkatenci, akkor bevezetnk egy kzbls llapotot. Az eleje megy az els tmenetre, a vge a msodikra. Unionl kt lt rajzolunk a kt llapot kz s kln-kln rjuk r a rszeket. Itercinl hurklt rajzolunk. (Rajzolni knnyebb lenne, de most nincs idm.)

4

3 x Melyek az ltalnostott regulris nyelvek s tbben vannak e, mint a kznsges regulris nyelvek?

2 x Hogyan dnti el azt, hogy egy VDA minimlis?Megnznm az ismert algoritmussal, hogy vannak-e ekvivalens llapotai. Ha nincsenek s sszefgg (azaz nincs nem elrhet llapota), akkor minimlis.

Formlis nyelvek s automatk vizsghoz statisztikailag igazolt vrhat vizsgakrdsek6. Feladat 0-s nyelvosztly: Tetszleges rekurzvan felsorolhat nyelv Tetszleges parcilis rekurzv nyelv 2 veremmel elfogadott nyelv 1-es nyelvosztly: [b n an bn; n>=1} ill. {cn bn an; n>=1} Dadogs szavak 2-es nyelvosztly: Helyes zrjelezs Palindrmk nyelve l(a) = l(b) 1 verem ltal res veremmel felismert / elfogadott nyelv 3-as nyelvosztly: 4-el oszthat binris szmok 11-el/ 5-el / 3-al oszthat decimlis szmok 7-el / 3al oszthat 7-es/3-as szmrendszerbeli szmok

5

Formlis nyelvek s automatk vizsghoz statisztikailag igazolt vrhat vizsgakrdsek8. Feladat4 x Nagy Bar-Hillel Lemma

6

Formlis nyelvek s automatk vizsghoz statisztikailag igazolt vrhat vizsgakrdsek 7

Formlis nyelvek s automatk vizsghoz statisztikailag igazolt vrhat vizsgakrdsek3 x Kis Bar-Hillel Lemma

8

Formlis nyelvek s automatk vizsghoz statisztikailag igazolt vrhat vizsgakrdsek2 x Myhill Nerode ttel

9