FORMÁLIS NYELVEK ÉS FORDÍTÓPROGRAMOK. LABORGYAKORLATOK
|
|
|
- Magda Biró
- 6 évvel ezelőtt
- Látták:
Átírás
1 FORMÁLIS NYELVEK ÉS FORDÍTÓPROGRAMOK LABORGYAKORLATOK 0
2 Formális nyelvek és fordítóprogramok Jelenlét kötelezõ! Ez a követelmény azokra is vonatkozik, akik a tárgyat nem elõször veszik fel. Akinek ütközik az órarendje, keressen meg. A vizsgajegy: 50% laborjegy, 50% írásbeli vizsga. 1. elõadás 2. elõadás 3. elõadás 4. elõadás 5. elõadás 6. elõadás 7. elõadás 8. elõadás 9. elõadás 10. elõadás 11. elõadás 12. elõadás 13. elõadás 14. elõadás Szakirodalom 1. Csörnyei Z., Kása Z.: Formális nyelvek és fordítóprogramok, Kolozsvári Egyetemi Kiadó, PDF Zip 2. Csörnyei Zoltán, Fordítóprogramok, Typotex Kiadó, Budapest, Csörnyei Zoltán, Fordítási algoritmusok, Erdélyi Tankönyvtanács, Kolozsvár, Demetrovics János, Denev, J., Pavlov, R., A számítástudomány matematikai alapjai, Nemzeti Tankönyvkiadó, Budapest, Fülöp Zoltán, Formális nyelvek és szintaktikus elemzésük, Polygon, Szeged, Livovschi, L., Popovici, C. P., Georgescu, H., Tãndãreanu, N., Bazele informaticii, Editura Didacticã si Pedagogicã, Bucuresti, Manna, Z., Programozáselmélet, Műszaki Könyvkiadó, Budapest, Révész György, Bevezetés a formális nyelvek elméletébe, Akadémiai Kiadó, Budapest, Bach Iván, Formális nyelvek, Typotex, Budapest, Motogna Simona, Metode de poiectare a compilatoarelor, Editura Albastrã, Cluj-Napoca, Grigoras Gheorghe, Constructia compilatoarelor - Algoritmi fundamentali, Editura Universitatii Al. I. Cuza, Iasi, ISBN , Gyimóthy Tibor, Havasi Ferenc, Kiss Ákos: Fordítóprogramok, Typotex Kiadó, PDF 13. Aszalós László, Herendi Tamás: Fordítóprogramok feladatgyûjtemény. PDF 1
3 1. labor (2016. szept ) 1. Oldjuk meg a 18. oldalon levő gyakorlatokat. (CsZ, KZ: Formális nyelvek és fordítóprogramok. Innen letölthető!) 2. Írjunk programot, amely megjelenít a képernyõn egy szövegállományt. Bekér egy szót, megkeresi és megjelöli annak elsõ elõfordulását, majd kérésre folytatja a következõ elõfordulással. CsZ, KZ: Formális nyelvek és fordítóprogramok, 18. old. 2
4 2. labor (2016. okt. 3. okt. 8.) Determinisztikus véges automata működése Írjunk programot, amely szimulálja egy determinisztikus véges automata működését! A program szövegállományból olvassa be az automata adatait, írja ki azokat a képernyőre, majd tetszőleges számú szóra vizsgálja meg, hogy az automata felismeri-e őket. A bemeneti állomány alakja: első sor: állapotok, szóközökkel elválasztva második sor: bemeneti ábécé elemei, szóközökkel elválasztva harmadik sor: kezdő állapot negyedik sor: végállapotok, szóközökkel elválasztva következő sorokban egy-egy átmenet: állapot betű állapot (szóközökkel elválasztva) Példa bemeneti állományra: bemeneti állomány: q0 q1 q q0 q0 q0 0 q0 q0 1 q1 q0 2 q2 q1 0 q1 q1 1 q2 q1 2 q0 q2 0 q2 q2 1 q0 q2 2 q1 3
5 3. labor (2016. okt ) Oldjuk meg a CsZ, KZ: Formális nyelvek és fordítóprogramok c. könyv oldalán levô 2-1., 2-2., 2-3. és 2-4. gyakorlatot. Innen letölthetô! old. 4
6 4. labor. (2016. okt ) Két determinisztikus véges automata ekvivalenciájának vizsgálata Írjunk programot két véges automata ekvivalenciájának vizsgálatára. A bemeneti adatok két különböző állományban vannak. Egy bemeneti állomány alakja: első sor: állapotok, szóközökkel elválasztva második sor: bemeneti ábécé elemei, szóközökkel elválasztva harmadik sor: kezdő állapot negyedik sor: végállapotok, szóközökkel elválasztva következő sorokban egy-egy átmenet: állapot betű állapot (szóközökkel elválasztva) 5
7 5. labor (2014. okt ) Oldjuk meg a CsZ, KZ: Formális nyelvek és fordítóprogramok c. könyv oldalán levő 2-8., 2-9., és gyakorlatokat. Innen letölthetô! old. 6
8 6. labor (2016. okt. 31 nov. 5.) Oldjuk meg a CsZ, KZ: Formális nyelvek és fordítóprogramok c. könyv oldalán levő 2-5., 2-6., 2-7. és 2-8. gyakorlatokat. Innen letölthetô! old. 7
9 7. labor. (2016. nov. 7. nov. 12.) Determinisztikus veremautomata működésének szimulálása A program szövegállományból olvassa be az automata adatait, írja ki azokat a képernyõre. A bemeneti állomány alakja: elsõ sor: állapotok, szóközökkel elválasztva második sor: bemeneti ábécé elemei, szóközökkel elválasztva harmadik sor: veremábécé elemei, szóközökkel elválasztva negyedik sor: kezdõ állapot ötödik sor: verem kezdõszimbóluma hatodik sor: végállapotok, szóközökkel elválasztva (vagy üres sor) következõ sorokban egy-egy átmenet: állapot bemeneti-betü verembetü szó állapot (szóközökkel elválasztva) Írjunk programot az automata működésére! Példa bemeneti állapotra: q0 q1 q2 a b z0 z1 q0 z0 q0 q0 a z0 z0z1 q1 q1 a z1 z1 z1 q1 q1 b z1 eps q2 q2 b z1 eps q2 q2 eps z0 eps q0 8
10 8. labor (2016. nov ) Zárthelyi dolgozat 9. labor (2016. nov ) Oldjuk meg a CsZ, KZ: Formális nyelvek és fordítóprogramok c. könyv 83. oldalán levô gyakorlatokat. Innen letölthetô! 83. old. 9
11 10
12 10. labor (2016. nov. 28 dec. 3.) 11
13 11. labor (2016. dec ) Adott LL(1) nyelvtan esetében írjunk programot az L*BF* mátrix kiszámítására. Bemeneti adatként adjuk meg az F, B, L mátrixokat. Az F+ és L+ kiszámítására használjuk a WARSHALL-algoritmust (8. elôadás, 7. oldal). Két mátrix szorzatára használjuk a 11. elôadás 4. oldalán megadott Warshall nevu eljárást. Példa innen letölthetô. Warshall-algoritmus (8. elôadás, 7. oldal): Két mátrix szorzatára használjuk a 11. elôadás 4. oldalán lévő algoritmust; 12
14 13
15 Példa innen letölthető. 14
16 15
17 16
18 17
19 18
20 19
21 20
22 12. labor (2016. dec. 12. dec. 17.) a. Ellenõrizzük a mellékelt példa számításait, felhasználva az elemzõ táblázat elkészítésére szolgáló algoritmust! 21
23 Az elemză táblázat elkészítésére szolgáló algoritmus: 22
24 23
25 b. Bizonyítsuk be, hogy a köv. nyelvtan nem LL(1): c. Készítsünk elemzõ táblázatot az alábbi LL(1) nyelvtanra! 24
26 25
LIMBAJE FORMALE ȘI COMPILATOARE Lucrări de laborator FORMÁLIS NYELVEK ÉS FORDÍTÓPROGRAMOK
LIMBAJE FORMALE ȘI COMPILATOARE Lucrări de laborator FORMÁLIS NYELVEK ÉS FORDÍTÓPROGRAMOK LABORGYAKORLATOK http://www.ms.sapientia.ro/~kasa/formalis.htm Nyomtatott változat Kása Zoltán 0 Formális nyelvek
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.
A TANTÁRGY ADATLAPJA
A TANTÁRGY ADATLAPJA 1. A képzési program adatai 1.1 Felsőoktatási intézmény Babeș Bolyai Tudományegyetem 1.2 Kar Matematika és Informatika Kar 1.3 Intézet Magyar Matematika és Informatika Intézet 1.4
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
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
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
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ő,
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ő
A TANTÁRGY ADATLAPJA
A TANTÁRGY ADATLAPJA 1. A képzési program adatai 1.1 Felsőoktatási intézmény Babeş-Bolyai Tudományegyetem 1.2 Kar Matematika és Informatika Kar 1.3 Intézet Magyar Matematika és Informatika Intézet 1.4
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
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
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.
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
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
Számítástudomány matematikai alapjai segédlet táv és levelező
Számítástudomány matematikai alapjai segédlet táv és levelező Horváth Árpád 2008. december 16. A segédletek egy része a matek honlapon található: http://www.roik.bmf.hu/matek Kötelező irodalom: Bagyinszki
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.
A TANTÁRGY ADATLAPJA
A TANTÁRGY ADATLAPJA 1. A képzési program adatai 1.1 Felsőoktatási intézmény Babeş-Bolyai Tudományegyetem 1.2 Kar Matematika és Informatika 1.3 Intézet Magyar Matematika és Informatika 1.4 Szakterület
A TANTÁRGY ADATLAPJA
A TANTÁRGY ADATLAPJA 1. A képzési program adatai 1.1 Felsőoktatási intézmény Babeş-Bolyai Tudományegyetem 1.2 Kar Matematika és Informatika 1.3 Intézet Magyar Matematika és Informatika 1.4 Szakterület
Fordítóprogramok (A,C,T szakirány) Feladatgy jtemény
Fordítóprogramok (A,C,T szakirány) Feladatgy jtemény ELTE IK 1 Lexikális elemzés 1. Add meg reguláris nyelvtannal, reguláris kifejezéssel és véges determinisztikus automatával a következ lexikális elemeket!
Számításelmélet. Második előadás
Számításelmélet Második előadás Többszalagos Turing-gép Turing-gép k (konstans) számú szalaggal A szalagok mindegyike rendelkezik egy független író / olvasó fejjel A bemenet az első szalagra kerül, a többi
,,BABEŞ-BOLYAI TUDOMÁNYEGYETEM LINEÁRIS ALGEBRA
,,BABEŞ-BOLYAI TUDOMÁNYEGYETEM Andrei Mărcuş LINEÁRIS ALGEBRA ii ELŐSZÓ A lineáris algebra tárgya a lineáris terek és leképezések vizsgálata. Eredete a vektorok és a lineáris egyenletrendszerek tanulmányozására
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
A TANTÁRGY ADATLAPJA
A TANTÁRGY ADATLAPJA 1. A képzési program adatai 1.1 Felsőoktatási intézmény Babeș-Bolyai Tudományegyetem 1.2 Kar Matematika és Informatika 1.3 Intézet Magyar Matematika és Informatika 1.4 Szakterület
TANTÁRGYI ADATLAP 1. A
TANTÁRGYI ADATLAP 1. A tanulmányi program jellemzői 1.1 A felsőoktatási intézmény Sapientia Erdélyi Magyar Tudományegyetem 1.2 Kar Marosvásárhelyi Műszaki és Humán Tudományok Kar 1.3 Tanszék Gépészmérnöki
LINEÁRIS EGYENLETRENDSZEREK október 12. Irodalom A fogalmakat, definíciókat illetően két forrásra támaszkodhatnak: ezek egyrészt elhangzanak
LINEÁRIS EGYENLETRENDSZEREK 004. október. Irodalom A fogalmakat, definíciókat illetően két forrásra támaszkodhatnak: ezek egyrészt elhangzanak az előadáson, másrészt megtalálják a jegyzetben: Szabó László:
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
A TANTÁRGY ADATLAPJA
A TANTÁRGY ADATLAPJA 1. A képzési program adatai 1.1 Felsőoktatási intézmény Babeş-Bolyai Tudományegyetem 1.2 Kar Történelem és Filozófia 1.3 Intézet Magyar Filozófiai Intézet 1.4 Szakterület Filozófia
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
I. Specifikáció készítés. II. Algoritmus készítés
Tartalomjegyzék I. Specifikáció készítés...2 II. Algoritmus készítés...2 Egyszerű programok...6 Beolvasásos feladatok...10 Elágazások...10 Ciklusok...1 Vegyes feladatok...1 1 I. Specifikáció készítés A
A TANTÁRGY ADATLAPJA
A TANTÁRGY ADATLAPJA 1. A képzési program adatai 1.1 Felsőoktatási intézmény Babeş-Bolyai Tudományegyetem 1.2 Kar Matematika és Informatika 1.3 Intézet Magyar Matematika és Informatika Intézet 1.4 Szakterület
Fordítóprogramok. Aszalós László. 2009. szeptember 7.
Fordítóprogramok Aszalós László 2009. szeptember 7. 1. Bemelegítés Honlap: www.inf.unideb.hu/ aszalos/diak.html (Fordítóprogramok, 2009) Jegymegajánló: utolsó hét előadásán. PótZH (csak gyakorlat) vizsgaidőszak
A TANTÁRGY ADATLAPJA
A TANTÁRGY ADATLAPJA 1. A képzési program adatai 1.1 Felsőoktatási intézmény Babeș-Bolyai Tudományegyetem 1.2 Kar Matematika és Informatika 1.3 Intézet Magyar Matematika és Informatika 1.4 Szakterület
A TANTÁRGY ADATLAPJA
A TANTÁRGY ADATLAPJA 1. A képzési program adatai 1.1 Felsőoktatási intézmény Babes-Bolyai Tudományegyetem 1.2 Kar Környezettudomány és Környezetmérnöki Kar 1.3 Intézet Környezettudomány 1.4 Szakterület
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
A TANTÁRGY ADATLAPJA
A TANTÁRGY ADATLAPJA 1. A képzési program adatai 1.1 Felsőoktatási intézmény 1.2 Kar 1.3 Intézet 1.4 Szakterület 1.5 Képzési szint 1.6 Szak / Képesítés Babeș-Bolyai Tudományegyetem Matematika és Informatika
Turing-gép május 31. Turing-gép 1. 1
Turing-gép 2007. május 31. Turing-gép 1. 1 Témavázlat Turing-gép Determinisztikus, 1-szalagos Turing-gép A gép leírása, példák k-szalagos Turing-gép Univerzális Turing-gép Egyéb Turing-gépek Nemdeterminisztikus
A szemantikus elemzés elmélete. Szemantikus elemzés (attribútum fordítási grammatikák) A szemantikus elemzés elmélete. A szemantikus elemzés elmélete
A szemantikus elemzés elmélete Szemantikus elemzés (attribútum fordítási grammatikák) a nyelvtan szabályait kiegészítjük a szemantikus elemzés tevékenységeivel fordítási grammatikák Fordítóprogramok előadás
Meghirdetés féléve 2 Kreditpont Összóraszám (elm+gyak) 2+0
Tantárgy neve Lineáris algebra I Tantárgy kódja MTB1004 Meghirdetés féléve 2 Kreditpont 3k Összóraszám elm+gyak 2+0 Számonkérés módja kollokvium Előfeltétel tantárgyi kód MTB1003 Tantárgyfelelős neve Kurdics
2 Ó b u d a i E g y e t e m
2 Ó b u d a i E g y e t e m Alba Regia Egyetemi Központ Tantárgy neve és kódja: Programozási paradigmák KSZPP11SNC Kreditérték: 3 Nappali tagozat 2013/2014. tanév 1. félév Szakok melyeken a tárgyat oktatják:
TANTÁRGYI ADATLAP. Mechatronika/Mechatronikus mérnök Végzettség
TANTÁRGYI ADATLAP 1. A tanulmányi program jellemzői 1.1 A felsőoktatási intézmény Sapientia Erdélyi Magyar Tudományegyetem 1.2 Kar Marosvásárhelyi Műszaki és Humán Tudományok Kar 1.3 Tanszék Gépészmérnöki
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)
definiálunk. Legyen egy konfiguráció, ahol és. A következő három esetet különböztetjük meg. 1. Ha, akkor 2. Ha, akkor, ahol, ha, és egyébként.
Számításelmélet Kiszámítási problémának nevezünk egy olyan, a matematika nyelvén megfogalmazott kérdést, amire számítógéppel szeretnénk megadni a választ. (A matematika nyelvén precízen megfogalmazott
Szakirodalmi összefoglaló készítése
Szakirodalmi összefoglaló készítése 1 FELADATKIÍRÁS Rövid, magyar (vagy angol) nyelvű összefoglaló készítése egy meghatározott energiaipari témakörben a megfelelő magyar és angol nyelvű szakirodalomban
Irodalom. (a) A T, B T, (b) A + B, C + D, D C, (c) 3A, (d) AD, DA, B T A, 1 2 B = 1 C = A = 1 0 D = (a) 1 1 3, B T = = ( ) ; A T = 1 0
Irodalom ezek egyrészt el- A fogalmakat, definíciókat illetően két forrásra támaszkodhatnak: hangzanak az előadáson, másrészt megtalálják a jegyzetben: Szabó László: Bevezetés a lineáris algebrába, Polygon
Informatika 1 2. el adás: Absztrakt számítógépek
Informatika 1 2. el adás: Budapesti M szaki és Gazdaságtudományi Egyetem 2015-09-08 1 2 3 A egy M = Q, Γ, b, Σ, δ, q 0, F hetes, ahol Q az 'állapotok' nem üres halmaza, Γ a 'szalag ábécé' véges, nem üres
Differenciál - és integrálszámítás. (Kreditszám: 7) Tantárgyfelelős: Dr. Losonczi László egyetemi tanár. Meghirdető tanszék: Analízis Tanszék
Differenciál - és integrálszámítás (Óraszám: 3+3) (Kreditszám: 7) Tantárgyfelelős: Dr. Losonczi László egyetemi tanár Meghirdető tanszék: Analízis Tanszék Debrecen, 2005 A tárgy neve: Differenciál- és
ALEXANDRU IOAN CUZA TUDOMÁNYEGYETEM, JÁSZVÁSÁR
Egyetemi címjegyzék ALEXANDRU IOAN CUZA TUDOMÁNYEGYETEM, JÁSZVÁSÁR cím: Iaşi, b-dul Carol I nr.11. tel.: 0232-201000, fax: 0232-201201 e-mail: contact@uaic.ro honlap: www.uaic.ro BABEŞ-BOLYAI TUDOMÁNYEGYETEM,
A TANTÁRGY ADATLAPJA
A TANTÁRGY ADATLAPJA 1. A képzési program adatai 1.1 Felsőoktatási intézmény Babeş-Bolyai Tudományegyetem 1.2 Kar Matematika és Informatika 1.3 Intézet Magyar Matematika és Informatika Intézet 1.4 Szakterület
A TANTÁRGY ADATLAPJA
A TANTÁRGY ADATLAPJA 1. A képzési program adatai 1.1 Felsőoktatási intézmény Babeş-Bolyai Tudományegyetem 1.2 Kar Történelem és Filozófia 1.3 Intézet Magyar Filozófiai Intézet 1.4 Szakterület Filozófia
Véges automaták, reguláris nyelvek
Véges automaták, reguláris nyelvek Kiegészítő anyag az lgoritmuselmélet tárgyhoz (a Rónyai Ivanyos Szabó: lgoritmusok könyv mellé) Friedl Katalin BME SZIT friedl@cs.bme.hu 27. augusztus 3. véges automata
Formális Nyelvek - 1.
Formális Nyelvek - 1. 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 A
A TANTÁRGY ADATLAPJA
A TANTÁRGY ADATLAPJA 1. A képzési program adatai 1.1 Felsőoktatási intézmény Babe -Bolyai Tudományegyetem 1.2 Kar Politika-, Közigazgatás- és Kommunikációtudomány 1.3 Intézet Kommunikáció 1.4 Szakterület
A TANTÁRGY ADATLAPJA
A TANTÁRGY ADATLAPJA 1. A képzési program adatai 1.1 Felsőoktatási intézmény Babeş-Bolyai Tudományegyetem 1.2 Kar Matematika és Informatika Kar 1.3 Intézet Magyar Matematika és Informatika Int 1.4 Szakterület
Programozási módszertan
1 Programozási módszertan 1. Alapfogalmak Feldhoffer Gergely 2012 Féléves tananyag terve 2 Program helyességének bizonyítása Reprezentáció Logikai-matematikai eszköztár Programozási tételek bizonyítása
Megjegyzés: A programnak tartalmaznia kell legalább egy felhasználói alprogramot. Példa:
1. Tétel Az állomány két sort tartalmaz. Az első sorában egy nem nulla természetes szám van, n-el jelöljük (5
Brósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Logaritmus
Logaritmus DEFINÍCIÓ: (Logaritmus) Ha egy pozitív valós számot adott, - től különböző pozitív alapú hatvány alakban írunk fel, akkor ennek a hatványnak a kitevőjét logaritmusnak nevezzük. Bármely pozitív
Egész számok. pozitív egész számok: 1; 2; 3; 4;... negatív egész számok: 1; 2; 3; 4;...
Egész számok természetes számok ( ) pozitív egész számok: 1; 2; 3; 4;... 0 negatív egész számok: 1; 2; 3; 4;... egész számok ( ) 1. Írd a következõ számokat a halmazábra megfelelõ helyére! 3; 7; +6 ; (
Rekurzió. Dr. Iványi Péter
Rekurzió Dr. Iványi Péter 1 Függvényhívás void f3(int a3) { printf( %d,a3); } void f2(int a2) { f3(a2); a2 = (a2+1); } void f1() { int a1 = 1; int b1; b1 = f2(a1); } 2 Függvényhívás void f3(int a3) { printf(
Brósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Sorozatok II.
Sorozatok II. DEFINÍCIÓ: (Mértani sorozat) Az (a n ) valós számsorozatot mértani sorozatnak nevezzük, ha van olyan valós szám, amellyel a sorozat bármely tagját megszorozva a következő tagot kapjuk. Jelöléssel:
7. Laboratóriumi gyakorlat: Vezérlési szerkezetek II.
7. Laboratóriumi gyakorlat: Vezérlési szerkezetek II. A gyakorlat célja: 1. A shell vezérlő szerkezetei használatának gyakorlása. A használt vezérlő szerkezetek: if/else/fi, for, while while, select, case,
SYLLABUS. Partiumi Keresztény Egyetem, Nagyvárad Bölcsészettudományi Kar magyar nyelv és irodalom
SYLLABUS I. Intézmény neve Kar Szak Tantárgy megnevezése Partiumi Keresztény Egyetem, Nagyvárad Bölcsészettudományi Kar magyar nyelv és irodalom Helyesírás A tantárgy típusa DF DD DS DC X II. Tantárgy
Informatika szigorlat. A lexikális elemző feladatai közé tartozik a whitespace karakterek (a
Informatika szigorlat 17-es tétel: Felülről lefelé elemzések 1. Lexikális elemzés A lexikális elemző alapvető feladata az, hogy a forrásnyelvű program lexikális egységeit felismerje, azaz meghatározza
I. A DIGITÁLIS ÁRAMKÖRÖK ELMÉLETI ALAPJAI
I. A DIGITÁLIS ÁRAMKÖRÖK ELMÉLETI ALAPJAI 1 A digitális áramkörökre is érvényesek a villamosságtanból ismert Ohm törvény és a Kirchhoff törvények, de az elemzés és a tervezés rendszerint nem ezekre épül.
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.
HORVÁTH ZSÓFIA 1. Beadandó feladat (HOZSAAI.ELTE) ápr 7. 8-as csoport
10-es Keressünk egy egész számokat tartalmazó négyzetes mátrixban olyan oszlopot, ahol a főátló alatti elemek mind nullák! Megolda si terv: Specifika cio : A = (mat: Z n m,ind: N, l: L) Ef =(mat = mat`)
Tantátgyi követelmények Család- és nevelésszociológiai alapismeretek
Tantátgyi követelmények Család- és nevelésszociológiai alapismeretek CGB1203 Heti kontakt óraszám (elm.+gyak.) 2+0 Tantárgyfelelős neve és beosztása Bodnárné dr. Kiss Katalin főiskolai docens A tantárgyfelelős
Fordítóprogramok felépítése, az egyes programok feladata. A következő jelölésmódot használjuk: program(bemenet)(kimenet)
Fordítóprogramok. (Fordítóprogramok felépítése, az egyes komponensek feladata. A lexikáliselemző működése, implementációja. Szintaktikus elemző algoritmusok csoportosítása, összehasonlítása; létrehozásuk
Gyakorló feladatok az 1. nagy zárthelyire
Gyakorló feladatok az 1. nagy zárthelyire 2012. október 7. 1. Egyszerű, bevezető feladatok 1. Kérjen be a felhasználótól egy sugarat. Írja ki az adott sugarú kör kerületét illetve területét! (Elegendő
A szemantikus világháló oktatása
A szemantikus világháló oktatása Szeredi Péter Lukácsy Gergely Budapesti Műszaki és Gazdaságtudományi Egyetem Számítástudományi és Információelméleti Tanszék ➀ A szemantikus világháló... c. tárgy ➁ A tananyag
Felvételi tematika INFORMATIKA
Felvételi tematika INFORMATIKA 2016 FEJEZETEK 1. Természetes számok feldolgozása számjegyenként. 2. Számsorozatok feldolgozása elemenként. Egydimenziós tömbök. 3. Mátrixok feldolgozása elemenként/soronként/oszloponként.
A TANTÁRGY ADATLAPJA
A TANTÁRGY ADATLAPJA 1. A képzési program adatai 1.1 Felsőoktatási intézmény Babeș-Bolyai Tudományegyetem 1.2 Kar Matematika és Informatika 1.3 Intézet Magyar Matematika és Informatika 1.4 Szakterület
A TANTÁRGY ADATLAPJA
A TANTÁRGY ADATLAPJA 1. A képzési program adatai 1.1 Felsőoktatási intézmény Babeş-Bolyai Tudományegyetem 1.2 Kar Matematika és Informatika 1.3 Intézet Matematika és Informatika 1.4 Szakterület Matematika
Informatika feladatmegoldó verseny. Kiss Elemér Szakkollégium február 19. Dr. Kovács Lehel István
Informatika feladatmegoldó verseny Kiss Elemér Szakkollégium 2013. február 19. Dr. Kovács Lehel István Állás Összesítő Új feladat 5. forduló 4. Feladat A prímszámok generálása ősi matematikai feladat.
Bevezetés az informatikába
Bevezetés az informatikába 6. előadás Dr. Istenes Zoltán Eötvös Loránd Tudományegyetem Informatikai Kar Programozáselmélet és Szoftvertechnológiai Tanszék Matematikus BSc - I. félév / 2008 / Budapest Dr.
TANTÁRGYI ADATLAP. Mechatronika/Mechatronikus mérnök Végzettség
TANTÁRGYI ADATLAP 1. A tanulmányi program jellemzői 1.1 A felsőoktatási intézmény Sapientia Erdélyi Magyar Tudományegyetem 1.2 Kar Marosvásárhelyi Műszaki és Humán Tudományok Kar 1.3 Tanszék Gépészmérnöki
FIGYELEM! NE NYISSA KI ADDIG, AMÍG A FELVIGYÁZÓ TANÁR NEM AD ERRE VONATKOZÓ UTASÍTÁST!
Universitatea Babeş-Bolyai din Cluj-Napoca Facultatea de Drept BROŞURĂ CU SUBIECTE ADMITERE - SESIUNEA SEPTEMBRIE 2018 COD BROŞURĂ 3 FIGYELEM! NE NYISSA KI ADDIG, AMÍG A FELVIGYÁZÓ TANÁR NEM AD ERRE VONATKOZÓ
A TANTÁRGY ADATLAPJA
A TANTÁRGY ADATLAPJA 1. A képzési program adatai 1.1 Felsőoktatási intézmény BABEŞ-BOLYAI TUDOMÁNYEGYETEM 1.2 Kar FIZIKA 1.3 Intézet MAGYAR FIZIKA INTÉZET 1.4 Szakterület FIZIKA 1.5 Képzési szint LICENSZ
A 2018-as Modellező (A) specializáció tanegységei. Számítógépes rendszerek
Programtervező informatikus Sc 2017,,, 2008 illetve programtervező informatikus 2018 Modellező (), Szoftvertervező (), Szoftverfejlesztő (), esti () inak tantárgyi lefedései 2017-es 2017-es 2017-es 2008-as
2. Készítsen awk szkriptet, amely kiírja az aktuális könyvtár összes alkönyvtárának nevét, amely februári keltezésű (bármely év).
1. fejezet AWK 1.1. Szűrési feladatok 1. Készítsen awk szkriptet, ami kiírja egy állomány leghosszabb szavát. 2. Készítsen awk szkriptet, amely kiírja az aktuális könyvtár összes alkönyvtárának nevét,
TANTÁRGYI ADATLAP. 2.7 A tantárgy jellege DI
TANTÁRGYI ADATLAP 1. Programadatok 1.1 Intézmény Sapientia, Erdélyi Magyar Tudományegyetem 1.2 Kar Műszaki és Humántudományok 1.3 Intézet Matematika Informatika 1.4 Szak Informatika 1.5 Tanulmányi típus
A TANTÁRGY ADATLAPJA
A TANTÁRGY ADATLAPJA 1. A képzési program adatai 1.1 Felsőoktatási intézmény Babeş-Bolyai Tudományegyetem 1.2 Kar Történelem és Filozófia 1.3 Intézet Magyar Filozófiai Intézet 1.4 Szakterület Filozófia
Általános információk az előadásokról, szemináriumokról, szak- vagy laborgyakorlatokról
Babeş Bolyai Tudományegyetem, Kolozsvár Kar: Pszichológia és Neveléstudományok Kar, Pedagógia - Tanító és Óvodapedagógus Szak, Székelyudvarhelyi Kihelyezett Tagozat Egyetemi év : I. év Félév : 1. Általános
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,Σ,Γ,
A TANTÁRGY ADATLAPJA
A TANTÁRGY ADATLAPJA 1. A képzési program adatai 1.1 Felsőoktatási intézmény Babeş Bolyai Tudományegyetem 1.2 Kar Bölcsészettudományi Kar 1.3 Intézet/Tanszék Magyar és Általános Nyelvészeti Tanszék 1.4
Diszkrét matematika 2 (C) vizsgaanyag, 2012 tavasz
Diszkrét matematika 2 (C) vizsgaanyag, 2012 tavasz A vizsga menete: a vizsga írásbeli és szóbeli részből áll. Az írásbeli beugrón az alábbi kérdések közül szerepel összesen 12 darab, mindegyik egy pontot
A TANTÁRGY ADATLAPJA
A TANTÁRGY ADATLAPJA 1. A képzési program adatai 1.1 Felsőoktatási intézmény Babeş-Bolyai Tudományegyetem 1.2 Kar Földrajz kar 1.3 Intézet Magyar Földrajzi Intézet 1.4 Szakterület Földrajz 1.5 Képzési
Büki András UNIX/Linux héjprogramozás Büki András: UNIX/Linux héjprogramozás Büki András Felelõs kiadó a Kiskapu Kft. ügyvezetõ igazgatója 2002 Kiskapu Kft. 1081 Budapest Népszínház u. 29. Tel: (+36-1)
Felmentések. Logika (1. gyakorlat) 0-adrendű szintaktika 2009/10 II. félév 1 / 21
Felmentések Logika (1. gyakorlat) 0-adrendű szintaktika 2009/10 II. félév 1 / 21 Felmentések Ha valaki tanár szakos, akkor mivel neki elvileg a hálóban nincs logika rész, felmentést kaphat a logika gyakorlat
1. Az informatika alapjai (vezetője: Dr. Dömösi Pál, DSc, egyetemi tanár) Kredit
2. MELLÉKLET Az oktatási koncepciója 1. Az informatika alapjai (vezetője: Dr. Dömösi Pál, DSc, egyetemi tanár) Az informatika alapjai Tud. Min. 1 Automata hálózatok 2 V Dr. Dömösi Pál DSc 2 Automaták és
Hamming-kód. Definíció. Az 1-hibajavító, perfekt lineáris kódot Hamming-kódnak nevezzük. F 2 fölötti vektorokkal foglalkozunk.
Definíció. Hamming-kód Az -hibajavító, perfekt lineáris kódot Hamming-kódnak nevezzük. F fölötti vektorokkal foglalkozunk. Hamming-kód készítése: r egész szám (ellenırzı jegyek száma) n r a kódszavak hossza
Turing-gépek. Számításelmélet (7. gyakorlat) Turing-gépek 2009/10 II. félév 1 / 1
Turing-gépek Logika és számításelmélet, 7. gyakorlat 2009/10 II. félév Számításelmélet (7. gyakorlat) Turing-gépek 2009/10 II. félév 1 / 1 A Turing-gép Az algoritmus fogalmának egy intuitív definíciója:
INFORMATIKAI ALAPISMERETEK
Informatikai alapismeretek középszint 0631 ÉRETTSÉGI VIZSGA 2006. október 24. INFORMATIKAI ALAPISMERETEK KÖZÉPSZINTŰ ÍRÁSBELI ÉRETTSÉGI VIZSGA JAVÍTÁSI-ÉRTÉKELÉSI ÚTMUTATÓ OKTATÁSI ÉS KULTURÁLIS MINISZTÉRIUM
A TANTÁRGY ADATLAPJA
A TANTÁRGY ADATLAPJA 1. A képzési program adatai 1.1 Felsőoktatási intézmény Babeş-Bolyai Tudományegyetem 1.2 Kar Földrajz kar 1.3 Intézet Magyar Földrajzi Intézet 1.4 Szakterület Földrajz 1.5 Képzési
Felmentések. Ha valaki tanár szakos, akkor mivel neki elvileg a hálóban nincs logika rész, felmentést kaphat a logika gyakorlat és vizsga alól.
Felmentések Ha valaki tanár szakos, akkor mivel neki elvileg a hálóban nincs logika rész, felmentést kaphat a logika gyakorlat és vizsga alól. Az eredménye, ezek után a számításelélet részből elért eredmény
A TANTÁRGY ADATLAPJA
A TANTÁRGY ADATLAPJA 1. A képzési program adatai 1.1 Felsőoktatási intézmény Babes-Bolyai Tudományegyetem, Kolozsvár 1.2 Kar Református Tanárképző Kar 1.3 Intézet Református Tanárképző Kar 1.4 Szakterület
Lineáris egyenletrendszerek Műveletek vektorokkal Geometriai transzformációk megadása mátrixokkal Determinánsok és alkalmazásaik
1. Bevezetés A félév anyaga. Komplex számok Műveletek Kapcsolat a geometriával Gyökvonás Polinomok A gyökök száma A gyökök és együtthatók összefüggése Szorzatra bontás, számelméleti kérdések A harmad-
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ő
Előfeltétel: legalább elégséges jegy Diszkrét matematika II. (GEMAK122B) tárgyból
ÜTEMTERV Programozás-elmélet c. tárgyhoz (GEMAK233B, GEMAK233-B) BSc gazdaságinformatikus, programtervező informatikus alapszakok számára Óraszám: heti 2+0, (aláírás+kollokvium, 3 kredit) 2019/20-es tanév
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
FEGYVERNEKI SÁNDOR, Valószínűség-sZÁMÍTÁs És MATEMATIKAI
FEGYVERNEKI SÁNDOR, Valószínűség-sZÁMÍTÁs És MATEMATIKAI statisztika 10 X. SZIMULÁCIÓ 1. VÉLETLEN számok A véletlen számok fontos szerepet játszanak a véletlen helyzetek generálásában (pénzérme, dobókocka,