Feladatok. BNF,EBNF,szintaxisgráf

Hasonló dokumentumok
Feladatok. 6. A CYK algoritmus segítségével döntsük el, hogy aabbcc eleme-e a G = {a, b, c}, {S, A, B, C}, P, S nyelvtan által generált nyelvnek!

Házi feladatok megoldása. Nyelvek felismerése. Házi feladatok megoldása. Házi feladatok megoldása. Formális nyelvek, 5. gyakorlat

Házi feladatok megoldása. Nyelvtani transzformációk. Házi feladatok megoldása. Házi feladatok megoldása. Formális nyelvek, 6. gyakorlat.

MintaFeladatok 1.ZH Megoldások

MintaFeladatok 1.ZH Megoldások

A számítógépes nyelvészet elmélete és gyakorlata. Formális nyelvek elmélete

Formális nyelvek - 5.

MintaFeladatok 2.ZH Megoldások

Formális nyelvek és automaták

Hatványozás. A hatványozás azonosságai

D G 0 ;8 ; 0 0 " & *!"!#$%&'" )! "#$%&' (! )* +,-. /0 )* **! / 0 1 ) " 8 9 : 7 ; 9 < = > A! B C D E +,-./0! 1#! 2 3!./0


A B C D EF C D EF C C BF A BC DE F D A E E E E D C C E DC C E E DC C C E D D E A D A E A

5. előadás Reguláris kifejezések, a reguláris nyelvek jellemzése 1.

9. előadás Környezetfüggetlen nyelvek

Chomsky-féle hierarchia

Nyugat-magyarországi Egyetem Geoinformatikai Kara. Prof. Dr. Závoti József. Matematika III. 1. MA3-1 modul. Kombinatorika

Házi feladatok megoldása. Nyelvek használata adatszerkezetek, képek leírására

MintaFeladatok 2.ZH Megoldások

Chomsky-féle hierarchia

Formális Nyelvek - 1. Előadás

akonyv 2006/12/18 11:53 page i #1 Formális nyelvek és fordítóprogramok

Automaták és formális nyelvek

1. Reguláris kifejezések illeszkedése

Formális nyelvek és automaták

Az 1. forduló feladatainak megoldása

MEMO (Middle European Mathematical Olympiad) Szoldatics József, Dunakeszi

4 = 0 egyenlet csak. 4 = 0 egyenletből behelyettesítés és egyszerűsítés után. adódik, ennek az egyenletnek két valós megoldása van, mégpedig

XX. Nemzetközi Magyar Matematika Verseny

Középszintű érettségi feladatsorok és megoldásaik Összeállította: Pataki János; dátum: november. I. rész

Megoldások 9. osztály

a védelmi feladatokban részt vevő elektronikus hírközlési szolgáltatók kijelöléséről és felkészülési feladataik meghatározásáról

Magasabbfokú egyenletek

Elemi algebrai eszközökkel megoldható versenyfeladatok Ábrahám Gábor, Szeged

7. előadás Környezetfüggetlen nyelvtanok

Megyei matematikaverseny évfolyam 2. forduló

Arany Dániel Matematikai Tanulóverseny 2008/2009-es tanév első (iskolai) forduló haladók I. kategória

MATEMATIKA JAVÍTÁSI-ÉRTÉKELÉSI ÚTMUTATÓ

Tárgyév adata december 31. Tárgyév adata december 31. A tétel megnevezése

Kongruenciák. Waldhauser Tamás

4) Az ABCD négyzet oldalvektorai körül a=ab és b=bc. Adja meg az AC és BD vektorokat a és b vektorral kifejezve!

A Formális nyelvek vizsga teljesítése. a) Normál A vizsgán 60 pont szerezhet, amely két 30 pontos részb l áll össze az alábbi módon:

Arany Dániel Matematikai Tanulóverseny 2014/2015-ös tanév első (iskolai) forduló Haladók II. kategória

Megoldások. Brósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) 1. Határozd meg a következő kifejezésekben a c értékét!

Segédanyagok. Formális nyelvek a gyakorlatban. Szintaktikai helyesség. Fordítóprogramok. Formális nyelvek, 1. gyakorlat

Egy csodálatos egyenesről (A Simson-egyenes) Bíró Bálint, Eger

A digitális számítás elmélete

illetve a n 3 illetve a 2n 5

MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI EMELT SZINT Számelmélet

1. Legyen egy háromszög három oldalának a hossza a, b, c. Bizonyítsuk be, hogy Mikor állhat fenn egyenlőség? Kántor Sándorné, Debrecen

7. Számelmélet. 1. Lehet-e négyzetszám az a pozitív egész szám, amelynek tízes számrendszerbeli alakjában 510 darab 1-es és valahány 0 szerepel?

XXII. Vályi Gyula Emlékverseny április 8. V. osztály

Formális nyelvek és automaták vizsgához statisztikailag igazolt várható vizsgakérdések

Formális nyelvek előadások tavaszi félév

8. Laboratóriumi gyakorlat: Bevezetés a reguláris kifejezések használatába

Hraskó András, Surányi László: spec.mat szakkör Tartotta: Surányi László. Feladatok

Arany Dániel Matematikai Tanulóverseny 2010/2011-es tanév 2. forduló haladók II. kategória

1.. NAPIREND Ügyiratszám: /2012. ELŐTERJESZTÉS a Képviselő-testület november 30.-i nyilvános ülésére

1. Általános rendelkezések

A Formális nyelvek vizsga teljesítése. a) Normál A vizsgán 60 pont szerezhet, amely két 30 pontos részb l áll össze az alábbi módon:

ZH feladatok megoldásai

Megoldások. Brósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma)

1992. évi verseny, 2. nap. legkisebb d szám, amelyre igaz, hogy bárhogyan veszünk fel öt pontot

1. megold s: A keresett háromjegyű szám egyik számjegye a 3-as, a két ismeretlen számjegyet jelölje a és b. A feltétel szerint

MATEMATIKA ÉRETTSÉGI május 9. EMELT SZINT

NÉMETH LÁSZLÓ VÁROSI MATEMATIKA VERSENY 2014 HÓDMEZŐVÁSÁRHELY OSZTÁLY ÁPRILIS 7.

Országos Középiskolai Tanulmányi Verseny 2012/2013 Matematika I. kategória (SZAKKÖZÉPISKOLA) Döntő Megoldások

Húrnégyszögek, Ptolemaiosz tétele

2. Feladatsor. N k = {(a 1,...,a k ) : a 1,...,a k N}

1. Lineáris leképezések

8. Laboratóriumi gyakorlat: Bevezetés a reguláris kifejezések használatába

1. MINTAFELADATSOR EMELT SZINT JAVÍTÁSI-ÉRTÉKELÉSI ÚTMUTATÓ

6. előadás A reguláris nyelvek jellemzése 2.

XVIII. Nemzetközi Magyar Matematika Verseny

Mátrixok február Feladat: Legyen ( ( B = A =

Teljes visszalépéses elemzés

Brósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Megoldások

MATEMATIKA ÍRÁSBELI ÉRETTSÉGI-FELVÉTELI FELADATOK május 19. du. JAVÍTÁSI ÚTMUTATÓ

. NAPIREND Ügyiratszám: /2012.

(1) A - (2) (4) - (2) A 2. (2) 2. (3) (1) 2. (3) (1) 2. (2) 2. (3) (1) (3) A


5. Trigonometria. 2 cos 40 cos 20 sin 20. BC kifejezés pontos értéke?

Arany Dániel Matematikai Tanulóverseny 2008/2009-es tanév első (iskolai) forduló haladók II. kategória

Láthatjuk, hogy az els szám a 19, amelyre pontosan 4 állítás teljesül, tehát ez lesz a legnagyobb. 1/5


Arany Dániel Matematikai Tanulóverseny 2015/2016-os tanév 1. forduló Haladók III. kategória

Intergrált Intenzív Matematika Érettségi

Sorozatok - kidolgozott típuspéldák

Mátrixok. 3. fejezet Bevezetés: műveletek táblázatokkal

OSZTHATÓSÁG. Osztók és többszörösök : a 3 többszörösei : a 4 többszörösei Ahol mindkét jel megtalálható a 12 többszöröseit találjuk.

43. ORSZÁGOS TIT KALMÁR LÁSZLÓ MATEMATIKAVERSENY MEGYEI FORDULÓ NYOLCADIK OSZTÁLY JAVÍTÁSI ÚTMUTATÓ

Arany Dániel Matematikai Tanulóverseny 2012/2013-as tanév 2. forduló haladók II. kategória

TARTALOMJEGYZÉK. Felhívás!

Számelmélet (2017. február 8.) Bogya Norbert, Kátai-Urbán Kamilla

))) ),9 ) )*), -*, ( #! $#%KL "# $ %&'!! "#!" #" $%$ # $& ' % ' # % # ( )))* ( +)),- (!"#$%&' )))* (! )))* (" #!#$% " +)),- ($ & ' #!# # %! )))* ) )-

Komplex számok. Wettl Ferenc előadása alapján Wettl Ferenc előadása alapján Komplex számok / 18

HIVATALOS ÉRTESÍTÕ. 51. szám. A MAGYAR KÖZLÖNY MELLÉKLETE június 28., hétfõ. Tartalomjegyzék. III. Utasítások, jogi iránymutatások

43. ORSZÁGOS TIT KALMÁR LÁSZLÓ MATEMATIKAVERSENY MEGYEI FORDULÓ HATODIK OSZTÁLY JAVÍTÁSI ÚTMUTATÓ

Arany Dániel Matematikai Tanulóverseny 2006/2007-es tanév első (iskolai) forduló haladók I. kategória

ISKOLÁD NEVE:... Az első három feladat feleletválasztós. Egyenként 5-5 pontot érnek. Egy feladatnak több jó megoldása is lehet. A) 6 B) 8 C) 10 D) 12

Átírás:

Feladatok BNF,EBNF,szintaxisgráf 1. Rajzoljuk fel a megfelelő szintaxisgráfot! angol szótár ::=@{ angol szó [ fonetikus alak ]@{ sorszám. jelentés }; } 2. Írjuk fel egy vagy több EBNF-fel az egészegyütthatós egyváltozós polinom fogalmát! Tegyük fel, hogy az egyetlen változó az x, a polinom tagjai nem feltétlen vannak kitevőnként szerinti csökkenő sorrendben rendezve, sőt nem feltétlen vannak az azonos kitevőjű tagok összevonva. Például: 2x 2 x + 2x 2, 3x + 4 7, x 11 + x 3. A hatványozáshoz használjuk a jelet! 3. Rajzoljuk fel szintaxisgráffal (vagy gráfokkal) az egészegyütthatós egyváltozós polinom fogalmát! Tegyük fel, hogy az egyetlen változó az x, a polinom tagjai nem feltétlen vannak kitevőnként szerinti csökkenő sorrendben rendezve, sőt nem feltétlen vannak az azonos kitevőjű tagok összevonva. Például: 2x 2 x + 2x 2, 3x + 4 7, x 11 + x 3. A hatványozáshoz használjuk a jelet! 4. PPSZÁM ::= 2 3 4 5 6 7 8 9 PSZÁM ::= 1 PPSZÁM SZÁM ::= 0 PSZÁM PEGÉSZ ::= PSZÁM @ SZÁM PPEGÉSZ ::= PPSZÁM PSZÁM SZÁM @ SZÁM EGÉSZ ::= 0 { } PEGÉSZ FOG1 ::= x{ PPEGÉSZ }{ y{ PPEGÉSZ }} y{ PPEG ÉSZ } FOG2 ::= FOG1 PPEGÉSZ FOG1 FOG3 ::= EGÉSZ { } FOG2 @{{+ } FOG2 }{ {+ } PEGÉSZ } 5. Milyen matematikai fogalmat ír le FOG3? Készítsük el a PPEGÉSZ, FOG1 és FOG3 fogalmakat definiáló EBNF-eknek megfelelő szintaxisgráfokat! Írjuk fel (E)BNF-fel a lineáris egyenletrendszer fogalmát. Egy lineáris egyenletrendszer (ebben a feladatban) legalább kettő lineáris egyenletből áll, melyeket egymástól a, karakterek válasszanak el. Egy lineáris egyenlet bal oldalán tagok (legalább egy) összege vagy különbsége, a jobboldalán egy egész szám áll. A tag egy (az első tagtól eltekintve nemnegatív) egész szám és egy változó szorzata vagy egy változó. Egy változó az X, Y, vagy Z karakterek valamelyike vagy ezeknek egy nemnegatív egész számmal vett konkatenációja. Egy nemnegatív egész szám legalább 1, de legfeljebb 8 számjegyből áll (és ha a szám nem 0, akkor nem kezdődhet 0-val). Két példa lineáris egyenletrendszernek megfelelő jelsorozatra: 3 X + 23 Y = 2, 1 X 5 Z + 13 Z = 1, 1 Y 2 Z = 100 3 X + 2 Z11 = 11, 3 Z8 + Z11 = 0 1

6. BNF-fel írjuk le a függvénykifejezések alábbi fogalmát! Egy függvénykifejezés egy azonosítóval kezdődik és zárójelben egy vagy több argumentuma lehet. Az argumentumokat vessző választja el. Argumentum egy azonosító vagy függvénykifejezés lehet. Az azonosító betűk sorozata lehet. Példák függvénykifejezésekre: sin(f(x,y),z) f(alma) 7. Rajzoljuk le egyetlen szintaxisgráffal a függvénykifejezés fogalmát, melyet BNF-fel így definiálunk: függvénykifejezés ::= azonosító ( argumentumsorozat ) argumentumsorozat ::= argumentumsorozat, argumnetum argumentum argumentum ::= azonosító függvénykifejezés azonosító ::= betű azonosító betű betű ::= a b... z 8. Rajzoljuk fel szintaxisgráffal (vagy gráfokkal) az e-mailcím fogalmát! 9. Egy e-mailcím két részből áll: egy felhasználói névből és egy internetnévből. A kettőt egymástől a @ szimbólum választja el. A felhasználói név betűkből és számokből állhat és betűvel kezdődik. Az internetnév legalább kettő,. -tal elválasztott nemüres részből áll. Az egyes részek az utolsó kivételével betűkből, számokból és a - szimbólumból állhatnak, nem kezdődhetnek és végződhetnek - -al, nem szerepelhet két - egymás mellett. Az internetnév utolsó része 2 vagy 3 betűből áll. Írjuk fel (E)BNF-fel az e-mailcím fogalmát! Egy e-mailcím két részből áll: egy felhasználói névből és egy internetnévből. A kettőt egymástől a @ szimbólum választja el. A felhasználói név betűkből és számokből állhat és betűvel kezdődik. Az internetnév legalább kettő,. -tal elválasztott nemüres részből áll. Az egyes részek az utolsó kivételével betűkből, számokból és a - szimbólumból állhatnak, nem kezdődhetnek és végződhetnek - -lel, nem szerepelhet két - egymás mellett. Az internetnév utolsó része 2 vagy 3 betűből áll. EBNF használata esetén a félreértések elkerülése végett tegyük a felhasználói és internetnevet elválasztó @ szimbólumot idézőjelbe vagy {} közé! Példák e-mailcímre: kukac@ho-ho-ho-horgasz.meseorszag.hu, torpe5@7torpe.com 10. Írjuk fel EBNF-fel! mondat alany állítmány.! jelzõ határozó tárgy? jelzõ jelzõ 11. Tekintsük a következő informális leírást (if utasítás): if feltétel 1 and... and feltétel n then utasítás 1 ; 2

... utasítás m ; fi; ahol n, m N +. Írjuk fel a fenti definíciót (az utasítás és a feltétel megfogalmazása nélkül): (a) BNF-fel, (b) EBNF-fel, (c) szintaxis gráffal. 12. L 1 = Sel(t 1 ), L 2 = Sel(t 2 ), L 1 L 2 =? Műveletek nyelvekkel, reguláris kifejezések t 1 t 2 0 1 0 1 1 2 0 1 2 0 0 1 0 1 1 2 2 0 1 13. Van-e olyan t fa, melyre, hogy Sel(t) = L i, (i = 1, 2, 3), ha L 1 = {0, 1, 00, 10, 101, 1011}? L 2 = {ε, 0, 1, 00, 10, 11, 000, 110, 111, 1117}? L 3 = {ε, 0, 2, 21, 22, 00, 02, 20, 201, 202, 002}? Ha van rajzoljuk is le! 14. L 1 = Sel(t 1 ), L 2 = (1 011 (011 1) ). Határozzuk meg a következő nyelveket! t 1 0 1 L 1 1, L 1 L 2. 0 0 1 0 1 15. L 1 = Sel(t 1 ), L 2 = (0 100 (100 0) ). Határozzuk meg a következő nyelveket! t 1 0 1 L 1 1, L 1 L 2. 0 0 1 0 1 16. 17. 18. Írjuk fel reguláris kifejezéssel a valamelyik betűből legalább 3 darabot tartalmazó T = {a, b} feletti szavak nyelvét! Írjuk fel reguláris kifejezéssel az abb szót részszóként tartalmazó T = {a, b} feletti szavak nyelvét! Írjuk fel reguláris kifejezéssel az abba és baba szavakat részszóként tartalmazó T = {a, b} feletti szavak nyelvét! 19. Igaz-e? (011 (10) 1 0) = 011(011 (10) 1 0) 3

20. Igaz-e? ((1 0) 100(1 0) ) = ((1 0)100(1 0) 100) 21. Igaz-e? (10) (01 10)1 = 1(01) 01 (10) 01 + 22. Igaz-e? ((a b)abb(a b) abb) = ((a b) abb(a b) ) 23. Igaz-e? a b(ab) a a + b(ba) = a (ab ba)(ba) 24. Igaz-e? (L L 1 ) = L (L 1 ). 25. Igaz-e? (L L 1 ) = L (L 1 ). 26. Igaz-e? L 1 (L 2 L 3 ) = L 1 L 2 L 1 L 3. 27. Igaz-e? L 1 (L 2 L 3 ) = L 1 L 2 L 1 L 3. 28. L 1 = a b ab, L 2 = {ab 2n+1 n 0}. L 1 L 2 =? L 1 L 2 =? 29. L = ab a 2. (L ) 1 =? L 1 (Suf(L)) =? L (Suf(L)) =? 30. L 1 = {ab, b}, L 2 = {ab n n N}. Határozzuk meg az alábbi nyelveket! L 2 \ L 1, L 2 L 1, L 2 \ L 1. 31. L 1 = {ab, ba, b}, L 2 = b ab. Határozzuk meg az alábbi nyelveket! L 2 \ L 1, L 2 L 1, L 1 2 \ L 1. 32. L 1 = {a n b 3m+1 n, m N}, L 2 = {ab n n N, 3 n 8}. Határozzuk meg az alábbi nyelveket! L 1 L 2, L 1 L 2, L 1 L 1 2. 33. L 1 = {ab, ba, b}, L 2 = {aba, a}, L 3 = {a n b n n N}. Határozzuk meg az alábbi nyelveket! L 1 L 2, L 1 \ L 3, (L 1 L 2 ) L 3, Suf(L 3 ). 34. L 1 = {a 3i b i i N}, L 2 = {a i b j i j 1}, L 3 = (ab b). L 1 L 2 =? (L 1 L 3 ) =? Pre(L 2 ) L 1 =? 35. L 1 = a c ac, L 2 = {ca 2n+1 n N}. L 1 L 2 =? L 1 L 2 =? Suf(L 2 ) =? 36. L 1 = a b ab, L 2 = {ab 2n+1 n N}. L 1 L 2 =? L 1 L 2 =? Pre(L 2 ) =? 37. L 1 = {c 3n+2 a m n, m N}, L 2 = {c n a n N, 4 n 9}. Határozzuk meg az alábbi nyelveket! L 2 L 1, L 1 L 2, Suf(L 1 ). 38. L 1 = {a n b 3m+1 n, m N}, L 2 = {ab n n N, 3 n 8}. Határozzuk meg az alábbi nyelveket! L 1 L 2, L 1 L 2, Pre(L 1 ). 4

39. L 1 = a(ab b) ba, L 2 = {u {a, b} l a (u) = l b (u)}. L 1 1 L 2 és Pre(L 1 ) L 2 nyelveket! 40. Adjuk meg az alábbi L nyelvet reguláris kifejezéssel! L = { u {a, b, c} l a (u) más maradékot ad 3-mal osztva, mint l b (u) }. Írjuk fel reguláris kifejezéssel az 41. L 1 = {a 2n b 2n+1 n N}, L 2 = {a n b m n < m; n, m N}, L 3 = (ab b). 42. 43. 44. (a) L 1 L 3 =? (b) L 1 L 2 =? (c) L 1 Suf(L 2 ) =? Írjuk fel reguláris kifejezéssel a T = {a, b} ábécé feletti, valamelyik betűből legalább 4 darabot tartalmazó szavak L nyelvét. Igaz-e, hogy az L nyelv zárt a prefixképzésre? Miért? Írjuk fel reguláris kifejezéssel a T = {a, b} ábécé feletti, az abba és baba szavakat részszóként tartalmazó szavak L nyelvét. Igaz-e, hogy az L nyelv zárt a prefixképzésre? Miért? Írjuk fel reguláris kifejezéssel a T = {a, b} ábécé feletti, az abbba és baba szavakat részszóként tartalmazó szavak L nyelvét. Igaz-e, hogy az L nyelv zárt a prefixképzésre? Miért? 45. L 1 = (ba) (ba) L 2 = {b n a n n N} L 3 = {b n2 a 2n+1 n N} a. L 1 L 2 =? b. L 1 L 2 =? c. Pre(L 2 ) L 3 =? 46. L 1 = (ab) (ab) (ab) L 2 = {a k b k k N} L 3 = {a k3 b k+1 k N} a. L 1 L 2 =? b. L 1 L 2 =? c. Pre(L 2 ) L 3 =? 47. Írjuk fel reguláris kifejezéssel! L = {u {a, b, c} ab, bc, ca u} Suf(L 1 ) =? 48. Írjuk fel reguláris kifejezéssel! L = {u {a, b, c} ac, ba, cb u} Pre(L 1 ) =? 5

Nyelvtan készítése adott nyelvhez 49. Készítsünk nyelvtant, mely azokat az u {a, b} szavakat fogadja el, melyek a-val kezdődnek és b-vel végződnek! 50. Készítsünk nyelvtant, mely {a n b n n 1} szavait fogadja el! 51. Készítsünk nyelvtant, mely {a n b n c n n 1} szavait fogadja el! 52. Készítsünk nyelvtant, mely az olyan a, b-ből álló szavakat fogadja el, melyekben páros számú a és páratlan számú b van! 53. Készítsünk nyelvtant, mely az olyan a-kból álló szavakat fogadja el, melyek hossza nemnulla négyzetszám! 54. Készítsünk nyelvtant a 4-el osztható bináris számok nyelvéhez! 55. Készítsünk nyelvtant azokhoz az a, b, c-t tartalmazó szavakhoz, melyekben a c-k száma 5-el osztva 2-t ad maradékul! 56. Készítsünk nyelvtant azon 4-es számrendszerben felírt számokhoz, melyek 3-al oszthatók! 57. Készítsünk nyelvtant ahhoz az a, b betűk feletti nyelvhez, melynek szavai ugyanannyi a-t és b-t tartalmaznak! 58. Készítsünk nyelvtant ahhoz az a, b betűk feletti nyelvhez, melynek szavai palindrómák (megegyeznek a megfordításukkal)! 59. Készítsünk nyelvtant ahhoz az a, b betűk feletti nyelvhez, melynek szavai négyzetek (v 2 alakúak, ahol v a, b feletti szó)! 60. Készítsünk nyelvtant ahhoz az a, b, c betűk feletti nyelvhez, melynek szavai ugyanannyi a-t és b-t és c-t tartalmaznak. 61. Készítsünk nyelvtant, mely az olyan a-kból álló szavakat fogadja el, melyek hossza 2 hatvány. 62. T = {a, b, c, d}. L = {a n b n u n N, l a (u) = 1, u {a, c, d} }. Milyen típusú ez az L-t generáló nyelvtan? 63. T = {a, b, c, d}. L = {(ba) n u(ab) n n N, l d (u) = 2, u {b, c, d} }. Milyen típusú ez az L-t generáló nyelvtan? 64. L = {u {a, b, c} l a (u) = l b (u) = l c (u), ab, bc, ca u}. Milyen típusú ez az L-t generáló nyelvtan? 65. L = ac(ε (acb) ac)b a. Generáljuk L-et 3. típusú nyelvtannal! Ha még nincs azon, hozzuk 3. típusú normálformára! 6

66. L = (ε c (cab) + c)ab. Generáljuk L-et 3. típusú nyelvtannal! Ha még nincs azon, hozzuk 3. típusú normálformára! 67. L = {u T uu 1 u 1 }. 68. Adjunk nyelvtant, amely az alábbi függvénykifejezéseknek megfelelő jelsorozatokat generálja! Egy függvénykifejezés egy azonosítóval kezdődik és zárójelben egy vagy több argumentuma lehet. Az argumentumokat vessző választja el. Argumentum egy azonosító vagy függvénykifejezés lehet. Az azonosító betűk sorozata lehet. Példák függvénykifejezésekre: sin(f(x,y),z) f(alma) 69. Adjunk olyan nyelvtant, mely az L = {b m a n n = 3k, 7k + 1 m 4k + 3, k N} nyelvet generálja! 70. Készítsünk 2. típusú nyelvtant, mely az L = {a k b n c l k, n, l N, k + l = 2n} nyelvet generálja! 71. Adjunk olyan nyelvtant, mely az L = {b m a n n = 5k, 8k + 3 m 6k + 2, k N} nyelvet generálja! 72. Legyen T egy tetszőleges ábécé. Adjunk olyan nyelvtant, mely az L = {v T v = uu 1 u 1, u T } nyelvet generálja! 73. Legyen T egy tetszőleges ábécé. Adjunk olyan nyelvtant, mely az L = {v T v = uuu 1, u T } nyelvet generálja! 74. T = {a, b, c, d}. L = {(ba) n u(ab) n+1 n N, l d (u) = 2, u {b, c, d} }. Milyen típusú a generált nyelvtan? 75. T = {a, b, c, d}. L = {(ba) n+1 u(ab) n n N, l c (u) = 2, u {a, c, d} }. Milyen típusú a generált nyelvtan? 76. L = ac(ε (bac) ac)b c. 77. L = ac(ε (acb) ac)b a. 78. Készítsünk 2. típusú nyelvtant, mely a következő L nyelvet generálja! L = { u {a, b, c} l a (u) = l c (u), l a (u) + l b (u) osztható 3-mal } 7

79. Készítsünk 2. típusú nyelvtant, mely a következő L nyelvet generálja! L = { u {a, b, c} ( v u, v = bv b, v {a, c} ) (l a (v) = l c (v) + 1) } Példák L-beli szavakra: ccac, babaa, ccbcacaabacab. 80. L = {a n b n a n b n n N}. 81. L = {u {a, b} l a (u) 2 l b (u) 2l a (u) + 1}. 82. L = {u {a, b} l a (u) 1 l b (u) 2l a (u) + 2}. 83. L = {u {a, b, c} l a (u) 3 és l a (u) + l b (u) l c (u) 1}. 84. L = {u {a, b, c} l a (u) 3 és l a (u) + l b (u) l c (u) 2}. 85. L = b(a (bac) ac) b c. 86. L = b(cb abc) b a c. 87. L = {a 3k +2 k +2 k N}. 88. L = {a 3n +2 n +1 n N}. Nyelvtan által generált nyelv meghatározása 8

89. Határozzuk meg a következő G = {a, b}, {S, A, B, K, X, Y }, P, S nyelvtan által generált nyelvet! P: S XAKBY K AKB AB AB BaA XB X AY Y b ab Ba Aa aa Y b b X ε 90. Határozzuk meg a következő G = {a, b}, {S}, P, S nyelvtan által generált nyelvet! P = { S aasb SS ε } 91. Határozzuk meg a következő G = {a}, {S, S 1, S 2, A, B, K, L}, P, S nyelvtan által generált nyelvet! Határozzuk meg a nyelvtan típusát! S KS 1 S 2 L S 1 AA AS 1 S 2 BB BS 2 AB BaA KB K AL L K ε L ε 92. Határozzuk meg a következő G = {a, b}, {S, A, B, K}, P, S nyelvtan által generált nyelvet! Határozzuk meg a nyelvtan típusát! S aasa bbsb K aa Aa ba Ab ab Ba bb Bb AK ak BK bk K ε 93. Határozzuk meg a következő G = {a, b}, {S, A, B, C}, P, S nyelvtan által generált nyelvet! S asaa bsbb C aa Aa 9

ba Ab ab Ba bb Bb CA Ca CB Cb C ε 94. Határozzuk meg a következő G = {c, d}, {S, A, B, C, D, E}, P, S nyelvtan által generált nyelvet! S ASB AB A ca EE B DDD E CC cc C c cc D d CD DC DC CD 95. Határozzuk meg a következő G = {a, b}, {S, A, B, C, D, E}, P, S nyelvtan által generált nyelvet! S CSD CD A a aa B b C CC EE D BBB E AA Aa AB BA BA AB 96. Határozzuk meg a következő G = {a, b}, {S, L, R, D, E}, P, S nyelvtan által generált nyelvet! P: S LaDR blaadrb bab ε LD bblea ad Da Ea ae ER adrbb bb L ε 97. Határozzuk meg a következő G = {a, b}, {S, L, R, D, E}, P, S nyelvtan által generált nyelvet! 10

P: S LDbR ε DR bera bbera Db bd be Eb LE aldb a R ε 98. Határozzuk meg a következő G = {a, b}, {S, L, R, D, E}, P, S nyelvtan által generált nyelvet! P: S LaDR B DR aerbb Da ad ae Ea LE bblda Bbb B Bb ε R ε 99. Határozzuk meg a következő G = {a, b}, {S, L, R, D, E}, P, S nyelvtan által generált nyelvet! P: S LDbR B DR beraa Baa Db bd be Eb LE aaldb aa B bb ε L ε 100. Határozzuk meg a következő szabályrendszer által generált nyelvet! S aa S bb S cc A aa A bb B bb B cc C cc C aa A ε B ε C ε 101. Határozzuk meg a következő szabályrendszer által generált nyelvet! 11

S ab S ba A as A a A baa B bs B b B abb 102. Tekintsük a következő G = {a, b, c}, {S, A, B, C}, P, S nyelvtant: P : S ABS Aa aa S C Ab ba AC aca Ba ab BC bcb Bb bb AB BA C c L(G) =? Indokoljuk is meg a választ! 103. Tekintsük a G = {a, b, c}, {S, A, B, C}, P, S nyelvtant, ahol P a következő szabályokból áll: S aba B A ca C ε B ab bcb a C aa bc L(G) =? Indokoljuk is meg a választ! 104. Tekintsük a G = {a, b, c}, {S, A, B, C}, P, S nyelvtant, ahol P a következő szabályokból áll: S A bbc A aba ca b B ab bc C B bc ε L(G) =? Indokoljuk is meg a választ! 105. Tekintsük a G = {a, b}, {S, A, B, K}, P, S nyelvtant, ahol P a 12

S aasa bbsb K Aa aa Ab ba Ba ab Bb bb AK ak BK bk K ε L(G) =? Indokoljuk is meg a választ! 106. Tekintsük a G = {a, b}, {S, A, B, C}, P, S nyelvtant, ahol P a S asaa bsbb C aa Aa ba Ab ab Ba bb Bb CA Ca CB Cb C ε L(G) =? Indokoljuk is meg a választ! 107. Tekintsük a G = {a, b}, {S, A, B, C, K}, P, S nyelvtant, ahol P a következő szabályokból áll: S C ACCC K K AKBC AACCCCC Ab ba A a B b C b ε L(G) =? Indokoljuk is meg a választ! 108. Tekintsük a G = {a, b}, {S, A, B, C, K}, P, S nyelvtant, ahol P a következő szabályokból áll: S CC K K AKBC ACCCC Ab ba A a B b C b ε L(G) =? Indokoljuk is meg a választ! 13

109. G = {a, b}, {S}, { S SS aasb bsaa asbsa ε }, S L(G) =? Indokoljuk is meg a választ! 110. G = {a, b}, {S}, { S csdsc ccsd dscc SS ε }, S L(G) =? Indokoljuk is meg a választ! 111. Legyen G = {a, b, c}, {S, A, B, C}, P, S, ahol a P szabályhalmaz a következő szabályokból áll: S AASBC ε BC CB AB BA AC CA A a ε B b C c L(G) =? Indokoljuk is meg a választ! 112. Legyen G = {a, b, c}, {S, A, B, C}, P, S, ahol a P szabályhalmaz a következő szabályokból áll: S CBSAA ε CB BC BA AB CA AC A AA a B b C c L(G) =? Indokoljuk is meg a választ! Normálformák 113. ε-mentesítsük a következő G = {a, b}, {S, A, B, L, K, R}, P, S 0. típusú nyelvtant, ha P a következő szabályokból áll! S LKR K AKB ε AB BaA AR R LB L L ε R ε ab Ba Aa aa 14

114. Hozzuk Kuroda normálformára a G = {a, b}, {S, A, B}, P, S nyelvtant, ha P a következő szabályokból áll: S ABS AaB BA AbB ba aa Aa A ab 115. Hozzuk Kuroda normálformára a G = {a, b}, {S, A, B, C, D}, P, S nyelvtant, ha P a S asa bsb ac bd aa Aa ab Ba ba Ab bb Bb CA Ca CB Da DA Cb DB Db C a D b 116. Hozzuk Kuroda normálformára a G = {a, b}, {S, A, B, C, D, E, F }, P, S nyelvtant, ha P a S ABS CDS EF S ab ABC ababa DEF babab 117. Hozzuk Chomsky normálformára a G = {a, b}, {S, A, B, C, D}, P, S nyelvtant, ha P a S aab A A BD adbb ε B Da bbad C adc D bca b ε 118. Hozzuk Chomsky normálformára a G = {a, b}, {S, A, B, C, D}, P, S nyelvtant, ha P a S ABBC AAA A acbb B B S ε C adc ab D bca b 119. Hozzuk Chomsky normálformára a G = {a, b, c}, {S, A, B, C}, P, S nyelvtant, ha P a 15

S AB a A aa ACB bac ε B bb BAC abc C cc a 120. Hozzuk Chomsky normálformára a G = {a, b, c}, {S, A, B, C}, P, S nyelvtant, ha P a S AC b A bb ABC bab ε B cc b C aa CAB bcb 121. Hozzuk Chomsky normálformára a G = {a, b}, {S, A, B, C, D}, P, S nyelvtant, ha P a S aa bb ε A CACD ε BD B DD D C a aba D ab S ε 122. Hozzuk Chomsky normálformára a G = {a, b}, {S, A, B, C, D}, P, S nyelvtant, ha P a S ba ab ε A DACD ε BD B CC C C ba S ε D b aba 123. Hozzuk Chomsky normálformára a G = {a, b, c}, {S, A, B}, P, S nyelvtant, ha P a következő szabályokból áll: S abba AB ε A AAc bc B SS bb 124. Hozzuk Chomsky normálformára a G = {a, b}, {S, A, B, C}, P, S nyelvtant, ha P a következő szabályokból áll: S ABC as A bab Ba C ε B A bb C abc SC a 125. Hozzuk Chomsky normálformára a G = {a, b, c}, {S, A, B, C}, P, S környezetfüggetlen nyelvtant, ha P a S AB a A aa ACB bac ε 16

B bb BAC abc C cc a 126. Hozzuk Chomsky normálformára a G = {a, b}, {S, A, B}, P, S környezetfüggetlen nyelvtant, ha P a S ε ASB A aaa ε B Bbb b 127. Hozzuk Chomsky normálformára a G = {a, b, c}, {S, A, B, C}, P, S környezetfüggetlen nyelvtant, ha P a S aab AC A ABC abc BAC ε B b aa C C c bb 128. Hozzuk Chomsky normálformára a következő G = {a, b}, {S, A, B, C}, P, S nyelvtant! P: S abc SS A AA ab B ABC ε C BB as 129. Hozzuk Chomsky normálformára a G = {a, b}, {S, A, B}, P, S nyelvtant, ha P a következő szabályokból áll: S ASB ε A aaa SS B Bbb asa 130. Hozzuk Chomsky normálformára a G = {a, b}, {S, A, B, C, D}, P, S nyelvtant, ahol P a S DS ε A SB CC B BDaa ε C DD ε D bad ab 131. Hozzuk Chomsky normálformára a G = {a, b}, {S, A, B, C, D}, P, S nyelvtant, ahol P a S SC ε A CAbb ε B AS DD C abc ab D CC ε 17

132. Hozzuk Chomsky normálformára a G = {a, b}, {S, A, B, C, D}, P, S nyelvtant, ahol P a S BS BD A BaBa CD B BBC ε C AbD D as ε 133. Hozzuk Chomsky normálformára a G = {a, b}, {S, A, B, C, D}, P, S nyelvtant, ahol P a S SA AC A AAD ε B baba CD C bs ε D BaC 134. Hozzuk Chomsky normálformára a G = {a, b}, {S, A, B, C}, P, S nyelvtant, ahol P a S BC ab A asb AA B AABB AaS ε C AACC BaS ε 135. Hozzuk Chomsky normálformára a G = {a, b}, {S, A, B, C}, P, S nyelvtant, ahol P a S AB ab A AACC SaC ε B BBCC SbC ε C Sab CC 136. Hozzuk Chomsky normálformára a G = {a, b}, {S, A, B, C, D}, P, S nyelvtant, ahol P a S aac A acbb BD ε B DA CC C adc bb D bca ε 137. Hozzuk Chomsky normálformára a G = {a, b}, {S, A, B, C, D}, P, S nyelvtant, ahol P a S ABa A acbb CD ε B adb bb C DA BB D BAb ε 18

138. Hozzuk Chomsky normálformára a G = {a, b}, {S, A, B, C}, P, S nyelvtant, ahol P a S BC aa A ba SA B ba Cbab ε C BC BBB 139. Hozzuk Chomsky normálformára a G = {a, b}, {S, A, B, C}, P, S nyelvtant, ahol P a S AB bc A ac Baba ε B AB AAA C ab SC 140. Hozzuk 3. típusú normálformára a G = {a, b}, {S, A, B}, P, S nyelvtant, ha P a következő szabályokból áll: S ε bba A aab S B abs A ε 141. Hozzuk 3. típusú normálformára a G = {a, b, c}, {S, A, B, C}, P, S nyelvtant, ha P a S A B A abc bcc B bac cbc C S ε 19