FORMÁLIS NYELVEK ÉS FORDÍTÓPROGRAMOK LABORGYAKORLATOK http://www.ms.sapientia.ro/~kasa/formalis.htm 0
Formális nyelvek és fordítóprogramok http://www.ms.sapientia.ro/~kasa/formalis.htm 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ó, 2007. PDF Zip 2. Csörnyei Zoltán, Fordítóprogramok, Typotex Kiadó, Budapest, 2006. 3. Csörnyei Zoltán, Fordítási algoritmusok, Erdélyi Tankönyvtanács, Kolozsvár, 2000. 4. Demetrovics János, Denev, J., Pavlov, R., A számítástudomány matematikai alapjai, Nemzeti Tankönyvkiadó, Budapest, 1999. 5. Fülöp Zoltán, Formális nyelvek és szintaktikus elemzésük, Polygon, Szeged, 1999. 6. Livovschi, L., Popovici, C. P., Georgescu, H., Tãndãreanu, N., Bazele informaticii, Editura Didacticã si Pedagogicã, Bucuresti, 1981. 7. Manna, Z., Programozáselmélet, Műszaki Könyvkiadó, Budapest, 1981. 8. Révész György, Bevezetés a formális nyelvek elméletébe, Akadémiai Kiadó, Budapest, 1979. 9. Bach Iván, Formális nyelvek, Typotex, Budapest, 2005. http://mek.oszk.hu/05000/05099/ 10. Motogna Simona, Metode de poiectare a compilatoarelor, Editura Albastrã, Cluj-Napoca, 2006. 11. Grigoras Gheorghe, Constructia compilatoarelor - Algoritmi fundamentali, Editura Universitatii Al. I. Cuza, Iasi, ISBN 973-703-084-2, 2005. 12. Gyimóthy Tibor, Havasi Ferenc, Kiss Ákos: Fordítóprogramok, Typotex Kiadó, 2011. PDF 13. Aszalós László, Herendi Tamás: Fordítóprogramok feladatgyûjtemény. PDF 1
1. labor (2016. szept. 19 28.) 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
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 q2 0 1 2 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
3. labor (2016. okt. 10 15.) Oldjuk meg a CsZ, KZ: Formális nyelvek és fordítóprogramok c. könyv 59-60. oldalán levô 2-1., 2-2., 2-3. és 2-4. gyakorlatot. Innen letölthetô! 59 60 old. 4
4. labor. (2016. okt. 17 22.) 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
5. labor (2014. okt. 24 29.) Oldjuk meg a CsZ, KZ: Formális nyelvek és fordítóprogramok c. könyv 60-61. oldalán levő 2-8., 2-9., 2-10. és 2-11. gyakorlatokat. Innen letölthetô! 60-61. old. 6
6. labor (2016. okt. 31 nov. 5.) Oldjuk meg a CsZ, KZ: Formális nyelvek és fordítóprogramok c. könyv 59 60. oldalán levő 2-5., 2-6., 2-7. és 2-8. gyakorlatokat. Innen letölthetô! 59 60. old. 7
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
8. labor (2016. nov. 14 19.) Zárthelyi dolgozat 9. labor (2016. nov. 21 26.) 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
10
10. labor (2016. nov. 28 dec. 3.) 11
11. labor (2016. dec. 5 10.) 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
13
Példa innen letölthető. 14
15
16
17
18
19
20
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
Az elemză táblázat elkészítésére szolgáló algoritmus: 22
23
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
25