MintaFeladatok 2.ZH Megoldások
|
|
- Szebasztián Gáspár
- 6 évvel ezelőtt
- Látták:
Átírás
1 Kérem -ben jelezze, ha hibát talál: vagy ) 1. feladat megoldása a b I. Összefüggőség vizsgálat. H0={1} H1={1,2,3} H2={1,2,3,4} H3={1,2,3,4,6} H4={1,2,3,4,6,8,7} H5={1,2,3,4,6,8,7,9} H6=H5 5 és 10 kiesik, mert nem érhető el a kezdőállapotból. Az összefüggő automata: a b A redukálás (ekvivalens állapotok meghatározása): 0~: {1,2,3,6,7}=I. {4,8,9}=II. A halmazok vizsgálata: a b a b 1 I. I. 4 I. I. 2 II. I. 8 II. II. 3 I. I. 9 II. II. 6 II. I. 7 II. I. 1~: {1,3} {2,6,7} {4} {8,9} 1
2 halmazokat hasonlóan megvizsgálva: 2~: {1,3} {2} {6,7} {4} {8,9} 3~ = 2~ A minimális automata: a b {1,3} {2} {1,3} {2} {4} {2} {6,7} {8,9} {6,7} {4} {6,7} {1,3} {8,9} {8,9} {8,9} 3. feladat megoldása L=b(a ε)(c ac)* = ba(c ac)* b(c ac)* A maradéknyelvek meghatározása: 0 hosszú előtag maradéknyelve: L ε = L 1 hosszú előtag -hoz tartozó maradéknyelvek: (a szó első betűje a, b, vagy c, mi lehet a folytatás) L a = Ø a-val nem kezdődhet szó L b = a(c ac)* (c ac)* L c = Ø ezt számoljuk tovább c-vel nem kezdődhet szó 2 hosszú előtag -hoz tartozó maradéknyelvek: (csak a b-vel kezdődő nyelvosztályokat kell kiszámolni, tehát meg kell nézni, mi a maradéknyelv ba, bb, és bc kezdet esetén) L ba = (c ac)* (új, tovább kell számolni) L bb = Ø L bc =(c ac)* = L ba (ugyanaz, mint L ba ) 3 hosszú előtag -hoz tartozó maradéknyelvek: (csak az ba-val ás bc-vel kezdődők folytatásaival foglalkozunk) L baa = c(c ac)* (új, tovább kell számolni) L bab = Ø L bac = L ba 4 hosszú előtag -hoz tartozó maradéknyelvek: (csak az baa-val kezdődők folytatásaival foglalkozunk) L baaa = Ø L baab = Ø L baac = L ba Nem keletkezett új maradéknyelv, készen vagyunk. Sárgával és bíborral jelzettek a különböző maradék nyelvek. Bíbor színűek azok, amelyek az ε-t tartalmazzák, így végállapotok lesznek. Az automata gráffal ábrázolva (ez még csak PDA, a hibaállapot felvételével lesz VDA): 2
3 5. feladat megoldása Redukálja az alábbi 2-es típusú nyelvtant: G=<{a,b,c},{S,A,B,C,D,F,K},P,S> P={ S aas AD A acbb aa bd B BA bbf F C aa D bcb ba KK ε F afa BS K ScS ccbc } 1. Aktív nyelvtani jelek meghatározása, majd a nem aktív (zsákutca) nyelvtani jelek kiszűrése. A1={A,D} A2={A,D,S,C} A3={A,D,S,C,K} A4=A3 tehát B és F inaktív, az első lépés után a nyelvtan: P={ S aas AD A aa bd C aa D ba KK K ScS } 2. Elérhető nyelvtani jelek meghatározása (nyelvtan összefüggőségének vizsgálata). R0={S} R1={S,A,D} R2={S,A,D,K} R3=R2 tehát C nem érhető el a kezdőszimbólumból, így a redukált nyelvtan: G=<{a,b,c},{S,A,D,K},P,S> P={ S aas AD A aa bd D ba KK K ScS } 3
4 6. feladat megoldása Hozza Chomsky normál formára az alábbi ɛ mentes 2-es típusú nyelvtant: G=<{a,b,c}, {S,A,B,C,D }, P, S > P={ S aas D CSC A bb aa C B babba SC C AS D c D ba b } 1. Álterminálisok bevezetése (Ha a szabály nem A t (A N, t T) alakú, átalakítjuk úgy, hogy csupa nemterminális jelből álljon a jobb oldala): P={ S GaAS D CSC A GbB GaGa C B GbABBGa SC C AS D c Gb b} Hosszredukció (a fenti, beszínezett szabályok átalakítása): P={ S GaZ1 D CZ2 A GbB GaGa C B GbZ3 SC C AS D c Gb b Z1 AS Z2 SC Z3 AZ4 Z4 BZ5 Z5 BGa } 2. Láncmentesítés (beszínezett szabályok a láncszabályok): P={ S GaZ1 D CZ2 A GbB GaGa C B GbZ3 SC C AS D c Gb b Z1 AS Z2 SC Z3 AZ4 Z4 BZ5 Z5 BGa } Halmazok felépítése: H1(S)={S} H2(S)={S,D}= H3(S) H(S)= {S,D} H1(A)={A} H2(A)={A,C} H3(A)={A,C,D}= H4(A) H(A)={A,C,D} H(B)={B} H1(C)={C} H2(C)={C,D}= H3(C) H(C)= {C,D} 4
5 H(D)={D} (Az előző lépésekben felvett új nyelvtani jeleknek biztosan nincs láncszabályuk, így azok halmazait nem is számoljuk ki.) A kapott nyelvtan: G=<{a,b,c}, {S,A,B,C,D,Ga,Gb,Z1,Z2,Z3,Z4,Z5}, P, S > P={ S GaZ1 CZ2 GbA b A GbB GaGa AS c GbA b B GbZ3 SC C AS c GbA b Gb b Z1 AS Z2 SC Z3 AZ4 Z4 BZ5 Z5 BGa } 7. feladat megoldása A CYK algoritmus segítségével döntse el, hogy a cabccb szó eleme-e a nyelvtan által generált nyelvnek. Ha igen, rajzolja fel a szó egy lehetséges levezetési fáját is, ha nem, akkor egy tetszőleges helyes, 6 hosszú szó levezetési fáját rajzolja fel: P={ S AB SC A AC a c B BC b C CS SS c } S a kezdőjel A szó nem eleme a generált nyelvnek. Levezethető lenne az A és C nemterminálisból, de S- ből nem! Példa 6 hosszú helyes szó levezetési fájára: 5
6 8. feladat megoldása Az L={u {a,b,c}* la(u)=lb(u) és cb u} nyelvhez kell verem automatát készíteni. Az automata gráfos megjelenítéssel: V=<{q0,qc,qcb,qv},{a,b,c},{a,b,#},,q0,#,{qv}> Magyarázat: q0 állapotban gyűjti és számlálja az a és b betűket, a veremben mindig a többlet a vagy a többlet b van, vagy #, ha épp egyensúly van. Ha jön egy c átmegy qc állapotba, ott tetszőleges számú c -t olvashat. De ha jön egy a akkor visszatér q0-ba, mert nem érkezett meg a helyes szóhoz szükséges cb szótag. qc-ből qcb-be lép, ha b érkezik, ilyenkor a helyes szóhoz megérkezett a szükséges cb szótag. qcb állapotban hasonlóan q0 állapothoz az a és b betűket számolja, ha c jönne, azzal nem foglalkozik. qv-be léphet, ha a veremben megjelenik a #. Ha az input szalagot közben sikerült végigolvasni, akkor helyes volt a szó. 6
7 9. feladat megoldása Az L={u {a,b,c}* la(u)=lb(u)>0 és cb u} nyelvhez kell verem automatát készíteni. Az automata gráfos megjelenítéssel: V=<{q0,q1,qc,qv},{a,b,c},{a,b,#},,q0,#,{qv}> Magyarázat: q0 állapotban van mindaddig, amíg c betűk vannak az inputon. Ha jön egy a vagy b átmegy q1-be (az volt a helyes szó feltétele, hogy legalább egy a és b legyen benne. q1 állapotban gyűjti és számlálja az a és b betűket, a veremben mindig a többlet a vagy a többlet b van, vagy #, ha épp egyensúly van. Ha jön egy c átmegy qc állapotba, ott tetszőleges számú c -t olvashat. Csak a -val térhet vissza q1-be, mert nem lehet a helyes szóban cb szótag. qv-be léphet, ha a veremben megjelenik a #. Ez előfordulhat úgy, hogy c -re végződik a szó, vagy úgy, hogy a vagy b betűre végződik. Ha az input szalagot közben sikerült végigolvasni, akkor helyes volt a szó. Ha nincs kikötve, hogy la(u)>0 és lb(u)>0, azaz az üres szó, vagy a csupa c betűből álló szó is helyes, akkor egy egyszerűbb automatát kapunk: 7
MintaFeladatok 2.ZH Megoldások
1. feladat Kérem e-mail-ben jelezze, ha hibát talál: (veanna@inf.elte.hu, vagy veanna@elte.hu ) P={ } S A B C AB SC AC a c BC b CS SS c S a kezdőjel Mivel a piramis tetején lévő kocka a mondatkezdő szimbólumot
MintaFeladatok 1.ZH Megoldások
Kérem e-mail-ben jelezze, ha hibát talál: (veanna@inf.elte.hu, vagy veanna@elte.hu ) 1. feladat L1 = {ab,ba,b} L2=b*ab* L3 = {a, bb, aba} L1L3 = {aba, abbb, ababa, baa, babb, baaba, ba, bbb, baba} (ab+b)*
MintaFeladatok 1.ZH Megoldások
Kérem e-mail-ben jelezze, ha hibát talál: (veanna@inf.elte.hu, vagy veanna@elte.hu ) 1. feladat L1 = {ab,ba,b} L2=b*ab* L3 = {a, bb, aba} L1L3 = {aba, abbb, ababa, baa, babb, baaba, ba, bbb, baba} (ab
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!
Feladatok 1. A CYK algoritmus segítségével döntsük el, hogy cabcab eleme-e a G = {a, b, c}, {S, A, B, C, D, E}, P, S nyelvtan által generált nyelvnek! P: S AD EB SS A AB a B DD b C CB c D EC a E AD b 2.
Házi feladatok megoldása. Nyelvtani transzformációk. Házi feladatok megoldása. Házi feladatok megoldása. Formális nyelvek, 6. gyakorlat.
Nyelvtani transzformációk Formális nyelvek, 6. gyakorlat a. S (S) SS ε b. S XS ε és X (S) c. S (SS ) Megoldás: Célja: A nyelvtani transzformációk bemutatása Fogalmak: Megszorított típusok, normálformák,
Chomsky-féle hierarchia
http://www.ms.sapientia.ro/ kasa/formalis.htm Chomsky-féle hierarchia G = (N, T, P, S) nyelvtan: 0-s típusú (általános vagy mondatszerkezetű), ha semmilyen megkötést nem teszünk a helyettesítési szabályaira.
Chomsky-féle hierarchia
http://www.cs.ubbcluj.ro/~kasa/formalis.html Chomsky-féle hierarchia G = (N, T, P, S) nyelvtan: 0-s típusú (általános vagy mondatszerkezet ), ha semmilyen megkötést nem teszünk a helyettesítési szabályaira.
Formális nyelvek és automaták vizsgához statisztikailag igazolt várható vizsgakérdések
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ő
Feladatok. BNF,EBNF,szintaxisgráf
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
Formális nyelvek és gépek (definíciós és tétel lista - 09/10/2)
Formális nyelvek és gépek (definíciós és tétel lista - 09/10/2) ábécé: Ábécének nevezünk egy tetszőleges véges szimbólumhalmazt. Jelölése: X, Y betű: Az ábécé elemeit betűknek hívjuk. szó: Az X ábécé elemeinek
Formális nyelvek - 5.
Formális nyelvek - 5. Csuhaj Varjú Erzsébet Algoritmusok és Alkalmazásaik Tanszék Informatikai Kar Eötvös Loránd Tudományegyetem H-1117 Budapest Pázmány Péter sétány 1/c E-mail: csuhaj@inf.elte.hu 1 Lineáris
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 Nyelvek felismerése Formális nyelvek, 5. gyakorlat 1. feladat Adjunk a következő nyelvet generáló 3. típusú nyelvtant! Azon M-áris számrendszerbeli számok, melyek d-vel osztva
Emlékeztető: LR(0) elemzés. LR elemzések (SLR(1) és LR(1) elemzések)
Emlékeztető Emlékeztető: LR(0) elemzés A lexikális által előállított szimbólumsorozatot balról jobbra olvassuk, a szimbólumokat az vermébe tesszük. LR elemzések (SLR() és LR() elemzések) Fordítóprogramok
Tárgyév adata 2013. december 31. Tárgyév adata 2014. december 31. A tétel megnevezése
A tétel megnevezése Tárgyév adata 2013. december 31. Tárgyév adata 2014. december 31. 1. Pénzeszközök 19 798 163 488 2. Állampapírok 411 306 73 476 a) forgatási célú 411 325 73 408 b) befektetési célú
A digitális számítás elmélete
A digitális számítás elmélete 8. előadás ápr. 16. Turing gépek és nyelvtanok A nyelvosztályok áttekintése Turing gépek és a természetes számokon értelmezett függvények Áttekintés Dominó Bizonyítások: L
6. előadás A reguláris nyelvek jellemzése 2.
6. előadás A reguláris nyelvek jellemzése 2. Dr. Kallós Gábor 2014 2015 1 Tartalom A reguláris nyelvek osztályának jellemzése a körbebizonyítás Láncszabályok A 2. állítás és igazolása Ekvivalens 3-típusú
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:
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: 1. Öt rövid kérdés megválaszolása egyenként 6 pontért, melyet minimum
Teljes visszalépéses elemzés
Teljes visszalépéses elemzés adott a következő nyelvtan S» aad a A» b c elemezzük a következő szöveget: accd» ccd ddc S S a A d a A b c d a c c d a c c d Teljes visszalépéses elemzés adott a következő
A számítógépes nyelvészet elmélete és gyakorlata. Formális nyelvek elmélete
A számítógépes nyelvészet elmélete és gyakorlata Formális nyelvek elmélete Nyelv Nyelvnek tekintem a mondatok valamely (véges vagy végtelen) halmazát; minden egyes mondat véges hosszúságú, és elemek véges
Formális nyelvek előadások tavaszi félév
Formális nyelvek előadások 2018. tavaszi félév Követelmények Az aláírást mindenki megkapja ajándékba. A vizsga két részből áll, írásbeli és szóbeli vizsgából. Az írásbeli elégséges szintű teljesítése esetén
Formális nyelvek és automaták
Formális nyelvek és automaták Nagy Sára gyakorlatai alapján Készítette: Nagy Krisztián Utolsó óra MINTA ZH Eötvös Loránd Tudományegyetem Informatikai Kar 2012.05.18 1. feladat: KMP (Knuth-Morris-Prett)
6. előadás A reguláris nyelvek jellemzése 2.
6. előadás A reguláris nyelvek jellemzése 2. Dr. Kallós Gábor 2015 2016 1 Tartalom A reguláris nyelvek osztályának jellemzése a körbebizonyítás Láncszabályok A 2. állítás és igazolása Ekvivalens 3-típusú
Fogalomtár a Formális nyelvek és
Fogalomtár a Formális nyelvek és automaták tárgyhoz (A törzsanyaghoz tartozó definíciókat és tételeket jelöli.) Definíciók Univerzális ábécé: Szimbólumok egy megszámlálhatóan végtelen halmazát univerzális
akonyv 2006/12/18 11:53 page i #1 Formális nyelvek és fordítóprogramok
akonyv 2006/12/18 11:53 page i #1 Csörnyei Zoltán Kása Zoltán Formális nyelvek és fordítóprogramok akonyv 2006/12/18 11:53 page ii #2 akonyv 2006/12/18 11:53 page iii #3 Csörnyei Zoltán Kása Zoltán FORMÁLIS
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:
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: 1. Öt kis kérdés megválaszolása egyenként 6 pontért, melyet minimum 12
Környezetfüggetlen nyelvtan. Formális nyelvek II. Környezetfüggetlen nyelvek és veremautomaták. Backus-Naur forma
Formális nyelvek II. Környezetfüggetlen nyelvek és veremautomaták Környezetfüggetlen nyelvtan Egy G = (N,Σ,P,S) nyelvtan környezetfüggetlen, ha minden szabálya A α alakú. Példák: 1) Az S asb ε nyelvtan,
Automaták mint elfogadók (akceptorok)
Automaták mint elfogadók (akceptorok) Ha egy iniciális Moore-automatában a kimenőjelek halmaza csupán kételemű: {elfogadom, nem fogadom el}, és az utolsó kimenőjel dönti el azt a kérdést, hogy elfogadható-e
Nyelv hatványa: Legyen L egy nyelv, nemnegatív egész hatványai,,. (rek. definició) Nyelv lezártja (iteráltja): Legyen L egy nyelv. L nyelv lezártja.
Univerzális ábécé: Szimbólumok egy megszámlálhatóan végtelen halmazát univerzális ábécének nevezzük Ábécé: Ábécének nevezzük az univerzális ábécé egy tetszőleges véges részhalmazát Betű: Az ábécé elemeit
5. előadás Reguláris kifejezések, a reguláris nyelvek jellemzése 1.
5. előadás Reguláris kifejezések, a reguláris nyelvek jellemzése 1. Dr. Kallós Gábor 2014 2015 1 Tartalom Reguláris kifejezések Meghatározás, tulajdonságok Kapcsolat a reguláris nyelvekkel A reguláris
2. Az önkormányzat és költségvetési szervei 2010. évi költségvetésének teljesítése
Albertirsa Város Önkormányzata Képviselő-testületének 14/ 2011. (V.3.) önkormányzati rendelete Albertirsa Város Önkormányzata 2010. évi gazdálkodásának zárszámadásáról Albertirsa Város Önkormányzatának
ZH feladatok megoldásai
ZH feladatok megoldásai A CSOPORT 5. Írja le, hogy milyen szabályokat tartalmazhatnak az egyes Chomskynyelvosztályok (03 típusú nyelvek)! (4 pont) 3. típusú, vagy reguláris nyelvek szabályai A ab, A a
Környezetfüggetlen nyelvtan. Formális nyelvek II. Környezetfüggetlen nyelvek és veremautomaták. Backus-Naur forma
Formális nyelvek II. Környezetfüggetlen nyelvek és veremautomaták Környezetfüggetlen nyelvtan Egy G = (N,Σ,P,S) nyelvtan környezetfüggetlen, ha minden szabálya A α alakú. Példák: 1) Az S asb ε nyelvtan,
http://www.ms.sapientia.ro/~kasa/formalis.htm
Formális nyelvek és fordítóprogramok http://www.ms.sapientia.ro/~kasa/formalis.htm Könyvészet 1. Csörnyei Zoltán, Kása Zoltán, Formális nyelvek és fordítóprogramok, Kolozsvári Egyetemi Kiadó, 2007. 2.
Formális nyelvek - 9.
Formális nyelvek - 9. Csuhaj Varjú Erzsébet Algoritmusok és Alkalmazásaik Tanszék Informatikai Kar Eötvös Loránd Tudományegyetem H-1117 Budapest Pázmány Péter sétány 1/c E-mail: csuhaj@inf.elte.hu 1 Véges
Logika és számításelmélet. 10. előadás
Logika és számításelmélet 10. előadás Rice tétel Rekurzíve felsorolható nyelvek tulajdonságai Tetszőleges P RE halmazt a rekurzívan felsorolható nyelvek egy tulajdonságának nevezzük. P triviális, ha P
Automaták és formális nyelvek
Automaták és formális nyelvek Bevezetés a számítástudomány alapjaiba 1. Formális nyelvek 2006.11.13. 1 Automaták és formális nyelvek - bevezetés Automaták elmélete: információs gépek általános absztrakt
8/2014. (X.10.) KLIK elnöki utasítás
8/2014. (X.10.) KLIK elnöki utasítás III. Fejezet A térítési díj és a tandíj 1. A térítési díj és a tandíj alapja 3. (1) Az intézményben a tanévre fizetendő térítési díj és a tandíj meghatározásának alapja
ú ľ ľ ú ľ ľ ő ü ü ö ľő ő ľ ó ő ő ü ľ ő ú ö ő ő ő ő ő ö ó ź ő ľ ő ö ľ ę ő ó ľ ó ó ľ ó őö ľ ľ ő ę ź ú ő ő ó ľ ľ ľ ľ ö ń ő ő ź ľ ű ź ú ü ľ ę ó ő ę ľ ľ ö ľ ő ü ö ľ ö ú ľ ő ő ó ľ ü ę ő ű ľ ľ ő ő ľ ű ľ ú ó ľ
HIVATALOS ÉRTESÍTÕ. 51. szám. A MAGYAR KÖZLÖNY MELLÉKLETE 2010. június 28., hétfõ. Tartalomjegyzék. III. Utasítások, jogi iránymutatások
HIVATALOS ÉRTESÍTÕ A MAGYAR KÖZLÖNY MELLÉKLETE 2010. június 28., hétfõ 51. szám Tartalomjegyzék III. Utasítások, jogi iránymutatások 7/2010. (VI. 28.) KIM utasítás a Közigazgatási és Igazságügyi Minisztérium
A számítógépes nyelvészet elmélete és gyakorlata. Automaták
A számítógépes nyelvészet elmélete és gyakorlata Automaták Nyelvek és automaták A nyelvek automatákkal is jellemezhetőek Automaták hierarchiája Chomsky-féle hierarchia Automata: új eszköz a nyelvek komplexitásának
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
1./2009. (.) MeHVM rendelet 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 Az elektronikus hírközlésről szóló 2003. évi
A Turing-gép. Formális nyelvek III.
Formális nyelvek III. Általános és környezetfüggő nyelvek Fülöp Zoltán SZTE TTIK Informatikai Intézet Számítástudomány Alapjai Tanszék 6720 Szeged, Árpád tér 2. Definíció. Egy Turing-gép egy M = (Q,Σ,Γ,
Megoldások, megoldás ötletek (Jensen-egyenlőtlenség)
Megoldások, megoldás ötletek (Jensen-egyenlőtlenség) Mivel az f : 0; ; x sin x folytonos az értelmezési tartományán, ezért elég azt belátni, hogy szigorúan gyengén konkáv ezen az intervallumon Legyen 0
1. Lineáris leképezések
Lineáris leképezések A lineáris leképezés fogalma Definíció (F5 Definíció) Legenek V és W vektorterek UGYANAZON T test fölött Az A : V W lineáris leképezés, ha összegtartó, azaz v,v 2 V esetén A(v +v 2
6. előadás Környezetfüggetlen nyelvtanok/1.
6. előadás Környezetfüggetlen nyelvtanok/1. Dr. Kallós Gábor 2013 2014 1 Tartalom Bevezetés CF nyelv példák Nyelvek és nyelvtanok egy- és többértelműsége Bal- és jobboldali levezetések Levezetési fák A
Atomataelmélet: A Rabin Scott-automata
A 19. óra vázlata: Atomataelmélet: A Rabin Scott-automata Az eddigieken a formális nyelveket generatív szempontból vizsgáltuk, vagyis a nyelvtan (generatív grammatika) szemszögéből. A generatív grammatika
Segédanyagok. Formális nyelvek a gyakorlatban. Szintaktikai helyesség. Fordítóprogramok. Formális nyelvek, 1. gyakorlat
Formális nyelvek a gyakorlatban Formális nyelvek, 1 gyakorlat Segédanyagok Célja: A programozási nyelvek szintaxisának leírására használatos eszközök, módszerek bemutatása Fogalmak: BNF, szabály, levezethető,
Diszkrét matematika II. gyakorlat
Diszkrét matematika II. gyakorlat 9. Gyakorlat Szakács Nóra Helyettesít: Bogya Norbert Bolyai Intézet 2013. április 11. Bogya Norbert (Bolyai Intézet) Diszkrét matematika II. gyakorlat 2013. április 11.
Algoritmuselmélet 7. előadás
Algoritmuselmélet 7. előadás Katona Gyula Y. Budapesti Műszaki és Gazdaságtudományi Egyetem Számítástudományi Tsz. I. B. 137/b kiskat@cs.bme.hu 2002 Március 11. ALGORITMUSELMÉLET 7. ELŐADÁS 1 Múltkori
1. Reguláris kifejezések illeszkedése
Informatikai logikai alapjai Mérnök informatikus 10. gyakorlat 1. Reguláris kifejezések illeszkedése 1. Az b +b ab +b ab ab +b ab ab ab reguláris kifejezés mely karaktersorozatokra illeszkedik az alábbiak
9. előadás Veremautomaták 1.
9. előadás 1. Dr. Kallós Gábor 2014 2015 1 Tartalom Motiváció Verem és végtelen automata Felépítés, konfigurációk és átmenetek Szavak felismerése, felismert nyelv Az elfogadó állapottal és az üres veremmel
Állapot minimalizálás
Állapot minimalizálás Benesóczky Zoltán 2004 A jegyzetet a szerzői jog védi. Azt a BME hallgatói használhatják, nyomtathatják tanulás céljából. Minden egyéb felhasználáshoz a szerző belegyezése szükséges.
Hortobágy Községi Önkormányzat Képviselő-testületének
Hortobágy Községi Önkormányzat Képviselő-testületének 16/2014 (IX. 29.) Önkormányzati Rendelete a településképi véleményezési és településképi bejelentési eljárásról Hortobágy Község Önkormányzatának Képviselő-testülete
Rendelet tervezet. Pilisszentkereszt község Önkormányzat Képviselő-testületének./2015. (.) számú önkormányzati rendelete
Rendelet tervezet Pilisszentkereszt község Önkormányzat Képviselő-testületének./2015. (.) számú önkormányzati rendelete a településképi bejelentési eljárásról Pilisszentkereszt község Önkormányzat Képviselő-testülete
Dicsőségtabló Beadós programozási feladatok
Dicsőségtabló Beadós programozási feladatok Hallgatói munkák 2017 2018 Szavak kiírása ábécé felett Készítő: Maurer Márton (GI, nappali, 2017) Elméleti háttér Adott véges Ʃ ábécé felett megszámlálhatóan
Országos Középiskolai Tanulmányi Verseny 2012/2013 Matematika I. kategória (SZAKKÖZÉPISKOLA) Döntő Megoldások
Országos Középiskolai Tanulmáni Versen / Matematika I kategória (SZAKKÖZÉPISKOLA) Döntő Megoldások Eg papírlapra felírtuk a pozitív egész számokat n -től n -ig Azt vettük észre hog a felírt páros számok
Formális Nyelvek - 1. Előadás
Formális Nyelvek - 1. Előadás Csuhaj Varjú Erzsébet Algoritmusok és Alkalmazásaik Tanszék Informatikai Kar Eötvös Loránd Tudományegyetem H-1117 Budapest Pázmány Péter sétány 1/c E-mail: csuhaj@inf.elte.hu
I/A. Az alkalmazottak adatai
A 2011. évi CCIV. törvény 3. melléklete alapján I. A felsőoktatási intézményekben nyilvántartott és kezelt személyes és különleges adatok I/A. Az alkalmazottak adatai a) név, nem, születési név, születési
V. Koordinátageometria
oordinátgeometri Szkszt dott rányn osztó pont súlypont koordinátái 6 6 6 ) xf + 9 yf + N 7 N F 9 i ) 7 O c) O N d) O c N e) O O 6 6 + 8 B( 8) 7 N 5 N N N 6 A B C O O O BA( 6) A B BA A B O $ BA A B Hsonlón
Házi feladatok megoldása. Harmadik típusú nyelvek és véges automaták. Házi feladatok megoldása. VDA-hoz 3NF nyelvtan készítése
Hrmdik típusú nyelvek és véges utomták Formális nyelvek, 10. gykorlt Házi feldtok megoldás 1. feldt Melyik nyelvet fogdj el következő utomt? c q 0 q 1 q 2 q 3 q 1 q 4 q 2 q 4 q 2 q 0 q 4 q 3 q 3 q 4 q
A SZÁMÍTÁSTUDOMÁNY ALAPJAI
Írta: ÉSIK ZOLTÁN A SZÁMÍTÁSTUDOMÁNY ALAPJAI Egyetemi tananyag 2011 COPYRIGHT: 2011 2016, Dr. Ésik Zoltán, Szegedi Tudományegyetem Természettudományi és Informatikai Kar Számítástudomány Alapjai Tanszék
Formális nyelvek és fordítóprogramok http://www.ms.sapientia.ro/~kasa/formalis.htm Könyvészet 1. Csörnyei Zoltán, Kása Zoltán, Formális nyelvek és fordítóprogramok, Kolozsvári Egyetemi Kiadó, 2007. 2.
HIVATALOS ÉRTESÍTÕ. 56. szám. A MAGYAR KÖZLÖNY MELLÉKLETE 2010. július 9., péntek. Tartalomjegyzék. III. Utasítások, jogi iránymutatások
HIVATALOS ÉRTESÍTÕ A MAGYAR KÖZLÖNY MELLÉKLETE 2010. július 9., péntek 56. szám Tartalomjegyzék III. Utasítások, jogi iránymutatások 2/2010. (VII. 9.) NGM utasítás az Európai Támogatásokat Auditáló Fõigazgatóság
1. Általános rendelkezések
Mór Városi Önkormányzat Képviselő-testületének 21/2015. (VI.3.) önkormányzati rendelete a civil szervezetek pályázati és eseti önkormányzati támogatásáról Mór Városi Önkormányzat Képviselő-testülete az
5.441 eft bg) térségi fejlesztési tanácstól az államháztartás központi alrendszerén belülről kapott EU-s forrásból származó pénzeszközből,
Kozármisleny Város Önkormányzata Képviselő-testületének 5/2013. (V.15.) önkormányzati rendelete az önkormányzat és intézményei 2012. évi költségvetéséről 6/2012 (II.13.) Önkormányzati rendelet módosításáról
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
Oktatási Hivatal Az forduló feladatainak megoldása (Szakközépiskola) Melyek azok az m Z számok, amelyekre az ( m ) x mx = 0 egyenletnek legfeljebb egy, az m x + 3mx 4 = 0 egyenletnek legalább egy valós
Mihályfa Község Önkormányzat Képviselő-testületének 19/2013. (XI.30) önkormányzati rendelete a helyi civil szervezetek pénzügyi támogatásnak rendjéről
Mihályfa Község Önkormányzat Képviselő-testületének 19/2013. (XI.30) önkormányzati rendelete a helyi civil szervezetek pénzügyi támogatásnak rendjéről Mihályfa Község Önkormányzat Képviselő-testülete az
Nagykovácsi Nagyközség Önkormányzat Képviselő-testületének 7/2013. (III.1.) önkormányzati rendelete a településképi bejelentési eljárásról
Nagykovácsi Nagyközség Önkormányzat Képviselő-testületének 7/2013. (III.1.) önkormányzati rendelete a településképi bejelentési eljárásról Nagykovácsi Nagyközség Önkormányzatának Képviselő-testülete Magyarország
7. előadás Környezetfüggetlen nyelvtanok
7. előadás dr. Kallós Gábor 2017 2018 Tartalom Bevezető Deriváció Előállított szó és nyelv Levezetési sorozat Reguláris nyelvtanok Reguláris nyelvekre vonatkozó 2. ekvivalencia tétel Konstrukciók (NVA
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
A 004{005. tan vi matematika OKTV I. kateg ria els (iskolai) fordul ja feladatainak megold sai 1. feladat Melyek azok a 10-es számrendszerbeli háromjegyű pozitív egész számok, amelyeknek számjegyei közül
a) a felnőttképzésről szóló 2013. évi LXXVII. törvény (a továbbiakban: Fktv.) szerinti felnőttképzést folytató intézményre,
58/2013. (XII. 13.) NGM rendelet a felnőttképzési minőségbiztosítási keretrendszerről, valamint a Felnőttképzési Szakértői Bizottság tagjairól, feladatairól és működésének részletes szabályairól 2013.12.14
Ö Á Í Í ű ű ú ű ű ű ű ú ú ú ú ű ű ű ű ű ű ű ű ű ú ű ú ú ú ű ú Á ú ű ű Ó ú ű ű ű ú Ó ú ű ú É ú ú ú ű ű ú ű ú Ú Á ú É ú Ó ú ú ú ú ű ű ű ú É Á É É ű ű Í ú ú Ó Í ű Í ű ű ú ű ű ű É ű ú Á ű ű ú Í ű Á ű ú ú É
ö ö ö ö ö ö ö ű ű ö ö ö ö ö Ő ö Ó Ú ö Ö ö ö ö ö Ö Ő ö ö Í Ó Ó Ő ö ö ö ö ö Ő Ő Ó Ő É ö Ú ö ö Ő ö ö ö ö ö ö ö Ő ö Ő É ö Ő ö ö Ő ö ö ö Ó ű ö ö ö Ő ö ö ö Í Ő Ó Í ö ö ö ö Ő Ő Ő Ő Í Ó Ő Ő Í Ő ö ö ö ö ö Ő Ő ö
Ú ű ü ü Ü ű É É Ö Ö Á ü ü ü ű É ú Á Ö Ü ü ü ű É Á É Ű ű Ü Ü ű ü ű ü ű ü Ü ü ü Ű Á Á Á ű ú ű Á Ó Ó É Á Ó Á Ó ű ü ü ű ű ü ú ú ü ü ü ű ü ű Ü ű ü ü ú ü Ö ü ú ú ü ü ü ü ű ú ü Ó ü Ó Ó ü ü Ó ü ü Ó ű ű ú ű ű ü
Diszkrét matematika II. gyakorlat
Diszkrét matematika II. gyakorlat Absztrakt algebra Bogya Norbert Bolyai Intézet 2014. április 23. Bogya Norbert (Bolyai Intézet) Diszkrét matematika II. gyakorlat 2014. április 23. 1 / 23 Tartalom 1 1.
8/2010. (I. 28.) Korm. rendelet a vis maior tartalék felhasználásának részletes szabályairól
8/2010. (I. 28.) Korm. rendelet a vis maior tartalék felhasználásának részletes szabályairól 9/2011.(II.15.) Korm. rendelet a vis maior tartalék felhasználásának részletes szabályairól 2. E rendelet alkalmazásában:
Algoritmusok bonyolultsága
Algoritmusok bonyolultsága 11. előadás http://www.ms.sapientia.ro/~kasa/komplex.htm () 1 / 1 NP-telesség Egy L nyelv NP-teles, ha L NP és minden L NP-re L L. Egy Π döntési feladat NP-teles, ha Π NP és
2011. évi CXCVI. törvény. a nemzeti vagyonról
2011. évi CXCVI. törvény a nemzeti vagyonról Magyarország Alaptörvénye rögzíti, hogy az állam és a helyi önkormányzat tulajdona nemzeti vagyon. Az Országgyűlés a nemzeti vagyonnak a közérdek és a közösségi
Alulírott, mint a.., támogatást igénylő szervezet képviseletére jogosult személy a támogatást igénylő szervezet nevében az alábbiakról nyilatkozom:
A támogatást igénylő adatai: név: székhely: képviselő neve: nyilvántartási szám: nyilvántartást vezető szerv neve: adószám: Az egyedi támogatás igénylőjének (jogi személy vagy jogi személyiséggel nem rendelkező
MSZ 274-52 1953. február 15. MSZ 274-62 1963. július 1. MSZ 274-72 1973. július 1.
Magyar Mérnöki Kamara ELEKTROTECHNIKAI TAGOZAT Szakmai továbbképzés 2016 Villámvédelem Az MSZ 274 és a korábbi OTSZ-ek előírásai (nem norma szerint villámvédelem V274) Villámvédelem 1 MSZ 274 története
9. előadás Környezetfüggetlen nyelvek
9. előadás Környezetfüggetlen nyelvek Dr. Kallós Gábor 2015 2016 1 Tartalom Bevezetés CF nyelv példák Nyelvek és nyelvtanok egy- és többértelműsége Bal- és jobboldali levezetések A fák magassága és határa
BUDAPESTI MŰSZAKI ÉS GAZDASÁGTUDOMÁNYI EGYETEM KANCELLÁRIA JOGI IGAZGATÓSÁG
BUDAPESTI MŰSZAKI ÉS GAZDASÁGTUDOMÁNYI EGYETEM KANCELLÁRIA JOGI IGAZGATÓSÁG Jogi Igazgatóság ÜGYRENDJE PREAMBULUM A Budapesti Műszaki és Gazdaságtudományi Egyetem Szervezeti és Működési Rendjének 44. (2)
Megoldókulcs. Matematika D kategória (11-12. osztályosok) 2015. február 6.
Megoldókulcs Matematika D kategória (11-12. osztályosok) 2015. február 6. 1. Az ABC háromszög mindhárom csúcsából merőlegeseket állítunk a többi csúcs külső és belső szögfelezőire. Igazoljuk, hogy az így
Középszintű érettségi feladatsorok és megoldásaik Összeállította: Pataki János; dátum: 2005. november. I. rész
Pataki János, 005. november Középszintű érettségi feladatsorok és megoldásaik Összeállította: Pataki János; dátum: 005. november I. rész. feladat Egy liter 0%-os alkoholhoz / liter 40%-os alkoholt keverünk.
ź ü ľ ű ź ľ ü ü ü ę ź ľ ü ü ľ ú ę ź ľ ú ü ź ű ź ü ľ ű ü ű ű ű ű ű ź ú
ä ľ ľ ü ü ľ ľ ľ ľ ľ ľ ü ź ź ü Ü Ü Ü ľľ ľ ľ ľń ľ ü ľ ľ ź ź ľ ľ ź ź ź ľ ź ľ ľ ź ľ ź đ ź ę ź ľ źą ź ź ľ ü ä Ąąź đ ź ü ľ ű ź ľ ü ü ü ę ź ľ ü ü ľ ú ę ź ľ ú ü ź ű ź ü ľ ű ü ű ű ű ű ű ź ú ľ źú ű ű ú ę ź ű ü ľ
Célterület adatlap. Szolgáltatáscsomag: azonos tevékenység, téma köré szerveződő szolgáltatások összekapcsolt halmaza.
Célterület adatlap Célterület azonosító: 1 015 786 Helyi Akciócsoport: Abaúj Leader Egyesület Jogcím: Vállalkozási alapú fejlesztés Célterület megnevezése: Térségi szolgáltatásszervező központ létrehozása
Pusztaszabolcs Város Önkormányzat Képviselő-testületének 3/2013.(III.1.) önkormányzati rendelete az önkormányzat 2013. évi költségvetéséről
Pusztaszabolcs Város Önkormányzat Képviselő-testületének 3/2013.(III.1.) önkormányzati rendelete az önkormányzat 2013. évi költségvetéséről (Módosítással egységes szerkezetbe foglalt szöveg.) ( Szövege
illetve a n 3 illetve a 2n 5
BEVEZETÉS A SZÁMELMÉLETBE 1. Határozzuk meg azokat az a természetes számokat ((a, b) számpárokat), amely(ek)re teljesülnek az alábbi feltételek: a. [a, 16] = 48 b. (a, 0) = 1 c. (a, 60) = 15 d. (a, b)
A Számítástudomány alapjai
Mechatronika, Optika és Gépészeti Informatika Tanszék A Számítástudomány alapjai Szemelvények az Elméleti Számítástudomány területéről Fogalmak: Számítástechnika Realizáció, technológia Elméleti számítástudomány
Arany Dániel Matematikai Tanulóverseny 2010/2011-es tanév 2. forduló haladók II. kategória
Bolyai János Matematikai Társulat Oktatásért Közalapítvány támogatásával Arany Dániel Matematikai Tanulóverseny 010/011-es tanév. forduló haladók II. kategória Megoldások és javítási útmutató 1. Egy sportversenyen
S \ '"''BUDAPEST FŐVÁROS XVI. KER. ÖNKORMÁNYZAT. Helyben - Hiv. szám: 10/30177/2012 Ügyintéző: Handelné
Matásfa érkezet! ^ /^^o/^^a ö/ S \ '"''BUDAPEST FŐVÁROS XVI. KER. ÖNKORMÁNYZAT ^ ^r^lt^ ^ POLGÁRMESTERI HIVATALA % XVL ^ ÉPÍTÉSÜGYI IRODA Ügyiratszám: 6/35889-02/2012 Ügyintéző: Gyurkó Piroska S: 4011-508
Mára új helyzet alakult ki: a korábbiakhoz képest nagyságrendekkel komplexebb
Iskolakultúra 2004/8 Nagy József ny. egyetemi tanár, Szegedi Tudományegyetem, Szeged Az elemi kombinatív képesség kialakulásának kritériumorientált diagnosztikus feltárása tanulmány Ha beírjuk a számítógép
Elemi algebrai eszközökkel megoldható versenyfeladatok Ábrahám Gábor, Szeged
Magas szintű matematikai tehetséggondozás Elemi algebrai eszközökkel megoldható versenyfeladatok Ábrahám Gábor, Szeged Ahhoz, hogy egy diák kimagasló eredményeket érhessen el matematika versenyeken, elengedhetetlenül
Felismerhető nyelvek zártsági tulajdonságai II... slide #30. Véges nemdeterminisztikus automata... slide #21
A számítástudomány alapjai Ésik Zoltán SZTE, Számítástudomány Alapjai Tanszék Bevezetes Bevezetés.................................................... slide #2 Automaták és formális nyelvek Szavak és nyelvek...............................................
D G 0 ;8 ; 0 0 " & *!"!#$%&'" )! "#$%&' (! )* +,-. /0 )* **! / 0 1 ) " 8 9 : 7 ; 9 < = > A! B C D E +,-./0! 1#! 2 3!./0
D G 0"" @;8 < @;0 0"7@ & *!"!#$%&'" )! "#$%&'(! )*+,-./0)* **! / 0 1 ) 2 3 4 5 6 1 7 " 8 9 : 7 ; 9 < = > 9? @ A! B C D E +,-./0!1#! 2 3!./04456171#461,!FGHIJKLM 5 NO N"JPQRFGLSTUV@AW"9?@AW G X6YJK # #
Csima Judit BME, VIK, november 9. és 16.
Adatbáziskezelés Függőségőrzés, 3NF-re bontás Csima Judit BME, VIK, Számítástudományi és Információelméleti Tanszék 2018. november 9. és 16. Csima Judit Adatbáziskezelés Függőségőrzés, 3NF-re bontás 1
Kiképzési Szabályzat
Szám: Belügyminisztérium Országos Katasztrófavédelmi Főigazgatóság Humán Szolgálat H-1149 Budapest, Mogyoródi út 43. : 1903 Budapest, 1) Pf.: 314 Tel.: (06-1)469-4150 Fax: (06-1)469-4151 - BM Tel.: 20-197
Algoritmuselmélet 12. előadás
Algoritmuselmélet 12. előadás Katona Gyula Y. Budapesti Műszaki és Gazdaságtudományi Egyetem Számítástudományi Tsz. I. B. 137/b kiskat@cs.bme.hu 2002 Április 9. ALGORITMUSELMÉLET 12. ELŐADÁS 1 Turing-gépek
Az 1. forduló feladatainak megoldása
Az 1. forduló feladatainak megoldása 1. Bizonyítsa be, hogy a kocka éléből, lapátlójából és testátlójából háromszög szerkeszthető, és ennek a háromszögnek van két egymásra merőleges súlyvonala! Megoldás: