Nv (Nyomtatott betkkel): Alrs:

NEPTUN kd:

Formlis nyelvek Vizsgadolgozat 2013.05.29

A vizsgadolgozat elksztsre 100 perc ll rendelkezsre. rtkels: Az rdemjegyeket a feladatokra kapott pontszmok sszege hatrozza meg, az egyes feladatoknl rszpontszmot is adunk. 5-s (jeles) rdemjegy: 4-es (j) rdemjegy: 3-as (kzepes) rdemjegy: 2-es (elgsges) rdemjegy: 1-es (elgtelen) rdemjegy: sszpontszm 75 sszpontszm 65 sszpontszm 55 sszpontszm 45 sszpontszm < 45

Krjk, vizsgadolgozatuk minden oldaln szerepeljen nevk, alrsuk s NEPTUN kdjuk! Eredmnyes munkt kvnunk!

PONTSZM 1. feladat: 2. feladat: 3. feladat: 4. feladat: 5. feladat: 6. feladat: sszpontszm: Jegy:

Nv (Nyomtatott betkkel): Alrs:

NEPTUN kd:

1. Feladat 1. (a) Mit neveznk egy sz rszszavnak?

Legyen V = {a,b,c} s legyen u = acb egy V feletti sz. Sorolja fel az u sz valdi rszszavait!

Maximlis pontszm: 5 Mely lltsok igazak az albbi, nyelvekre vonatkoz lltsok kzl? (Karikzza a megfelel vlaszt!) L = L L1 U L2 = L2 U L1 L1(L2L3) = (L1L2)L3 L* {} = L+ __ _ L* = ( L ) * Maximlis pontszm: 5 igaz igaz igaz igaz igaz hamis hamis hamis hamis hamis

(b)

Nv (Nyomtatott betkkel): Alrs:

NEPTUN kd:

2. Feladat 2. (a) Adja meg a generatv grammatika defincijt! Maximlis pontszm: 5

(b)

Legyen G = (N, T, P, S) krnyezetfggetlen grammatika, ahol N = {S,A,B,C}, T ={a,b} s P={ S BB, S b, A BS, A aC, B , B bA C aAB, C bb }

Konstruljon a tanultak felhasznlsval egy G -mentes krnyezetfggetlen grammatikt, gy, hogy L(G) {} = L(G) legyen, valamint mutassa be a konstrukci lpseit ezen a pldn keresztl! Maximlis pontszm: 10

Nv (Nyomtatott betkkel): Alrs:

NEPTUN kd:

3. Feladat 3. (a) Mikor neveznk egy krnyezetfggetlen grammatikt jobb-linerisnak? Maximlis pontszm: 5

(b)

Legyen G = (N, T, P, S) egy 3-as tpus grammatika, ahol N = {S,A,B,C}, T ={a,b} s P={ S abB, S b, A S, A aC, B , B bA C aA, C a }

Konstruljon a tanultak felhasznlsval egy G 3-as normlformj grammatikt, gy, hogy L(G)=L(G) legyen, valamint mutassa be a konstrukci lpseit ezen a pldn keresztl! Maximlis pontszm: 10

Nv (Nyomtatott betkkel): Alrs:

NEPTUN kd:

4. Feladat 4. (a) Definilja a vges determinisztikus automata ltal elfogadott nyelvet! Maximlis pontszm: 5

(b) Konstruljon a tanultak alapjn egy A minimlis llapotszm vges determinisztikus automatt, amely ugyanazt a nyelvet fogadja el, mint az A = (Q, T, , q1, F) vges determinisztikus automata, ahol Q ={q1, q2, q3, q4, q5}, T={a,b}, F={q2, q3} s az albbi tblzattal adott. Mutassa be a konstrukci lpseit ezen a pldn! q1 q2 q3 q4 q5 a q4 q3 q2 q4 q2 b q5 q4 q4 q5 q3

Maximlis pontszm: 10

Nv (Nyomtatott betkkel): Alrs:

NEPTUN kd:

5. Feladat 5. (a) Mit neveznk egy veremautomata konfigurcijnak, s hogyan nz ki a kezdeti konfigurci? Maximlis pontszm: 5

(b)

Legyen V={a,b} egy bc s legyen L={ anb n-1 | n 1 }.

Konstruljon egy veremautomatt, amely felismeri az L nyelvet! Rviden ismertesse a veramautomata mkdst! Maximlis pontszm: 10

Nv (Nyomtatott betkkel): Alrs:

NEPTUN kd:

6. Feladat 6. Mondja ki s bizonytsa be a Bar-Hillel lemmt! Maximlis pontszm: 20 (A ttel pontos kimondsa 5 pont, a bizonyts 15 pont.)