Form alis nyelvek - Vizsgadolgozat 2013.05.

22

N ev (Nyomtatott bet ukkel): Al a r as: NEPTUN k od: A vizsgadolgozat elk esz t es ere 100 perc all rendelkez esre. ekel Ert es: Az erdemjegyet a feladatokra kapott pontsz amok osszege hat arozza meg, az egyes feladatokn al r eszpontsz amot is adunk. Az el erhet o maxim alis pontsz am 90. 5- os (jeles) erdemjegy: osszpontsz am 75 4-es (j o) erdemjegy: o sszpontsz am 65 3-as (k ozepes) erdemjegy: osszpontsz am 55 2-es (el egs eges) erdemjegy: osszpontsz am 45 1-es (el egtelen) erdemjegy: osszpontsz am < 45

K erj uk, vizsgadolgozatuk minden oldal at sz amozz ak be, tov abb a minden oldalon szerepeljen nev uk, al a r asuk es NEPTUN k odjuk! Eredm enyes munk at k v anunk!

N ev (Nyomtatott bet ukkel): Al a r as: NEPTUN k od: Feladatok 1. Feladat 1. (a) Legyen V = {a, b, c} egy ab ec e, valamint legyen L1 = {a, b, c} es L2 = {aa, b, aba}. Adja meg az L1 L2 , L1 L2 , L1 L2 , L2 L1 , 1 ) nyelveket! (L Maxim alis pontsz am: 5 (b) Legyen V = {a} ab ec e es legyen L3 = {a2 | n 1}. Melyik nyelv u res a k ovetkez o nyelvek k oz ul: L3 , L+ 3 , L3 L3 , L3 , L3 ? Maxim alis pontsz am: 5 2. Feladat 2. (a) Mikor nevez unk egy k ornyezetf uggetlen grammatik at reduk altnak? Maxim alis pontsz am: 5 (b) Legyen G = (N, T, P, S ) k ornyezetf uggetlen grammatika, ahol N = {S, A, B, C }, T = {a, b, c} es P = {S ASC, S AB, A AAB, A ab, A C, C AAA, C c}. Konstru aljon a tanultak felhaszn al as aval egy G k ornyezetf uggetlen grammatik at, amely reduk alt es L(G) = L(G ), valamint mutassa be a konstrukci o l ep eseit ezen a p eld an kereszt ul! Maxim alis pontsz am: 10 3. Feladat 3. (a) Legyen G = (N, T, P, S ) k ornyezetf uggetlen grammatika, ahol N = {S, A, B, C }, T = {a, b, c} es legyen
n

P =

{S ccAA, S aBB, A AC, A a, A , B bB, B b, C cc}.

Konstru aljon a tanultak felhaszn al as aval egy G k ornyezetf uggetlen grammatik at, amely Chomsky-norm alform aj u es L(G) = L(G ), valamint mutassa be a konstrukci o l ep eseit ezen a p eld an kereszt ul! Maxim alis pontsz am: 10

(b) Legyen G egy regul aris grammatika, ahol / L(G). L etezik-e G-vel ekvivalens Chomsky norm alform aj u k ornyezetf uggetlen grammatika? Indokolja all t as at! Maxim alis pontsz am: 5 4. Feladat 4. (a) Irja le a k ozvetlen (vagy m as sz oval egy l ep eses) redukci o fogalm at a determinisztikus v eges automata eset eben! Maxim alis pontsz am: 5 (b) Konstru aljon a tanultak alapj an egy A v eges determinisztikus automat at, amely ugyanazt a nyelvet fogadja el, mint az A = (Q, T, , Q0 , F ) nemdeterminisztikus v eges automata, ahol Q = {q0 , q1 , q2 , q3 }, T = {a, b}, Q0 = {q0 }, F = {q3 } es az al abbi t abl azattal adott. Elegend o megadnia az A v eges determinisztikus automata allapot atmeneteinek t abl azat at, valamint a konstrukci o alapelv et. a b q0 {q0 , q1 } {q0 , q1 } q1 {q2 , q1 } {q2 } q2 {q2 , q3 } {q2 , q3 } q 3 {q 3 } {q3 } Maxim alis pontsz am: 10 5. feladat 5. (a) Legyen L1 egy A1 veremautomata altal u res veremmel elfogadott nyelv, L2 pedig egy A2 veremautomata altal v eg allapotokkal elfogadott nyelv. Van-e olyan veremautomata, amely u res veremmel elfogadja az L1 L2 nyelvet? Indokolja all t as at! Maxim alis pontsz am: 5 (b) Legyen V = {a, b} egy ab ec e es legyen L = {a2n b2n | n 1}. Konstru aljon egy veremautomat at, amely felismeri az L nyelvet! R oviden ismertesse a veremautomata m uk od es et! Maxim alis pontsz am: 10 6. Feladat 6. Bizony tsa be, hogy minden G k ornyezetf uggetlen grammatika eset eben eld onthet o, hogy az altala gener alt nyelv v egtelen-e vagy sem. Maxim alis pontsz am: 20