Języki formalne i techniki translacji 2018
Wtorek 1705 - 1845 A-1/322 wykład
Poniedziałek 1115 - 1300 TP/TN D-1/312B ćwiczenia
Czwartek 1115 - 1300 TP/TN D-1/312B ćwiczenia
Piątek 915 - 1100 TP/TN D-1/312B ćwiczenia
Poniedziałek 730 - 900 TN/TP D-1/317.3 laboratorium (mgr inż. M.Wszoła)
Wtorek 730 - 900 TN/TP D-1/317.3 laboratorium (mgr inż. M.Wszoła)
Wtorek 1515 - 1655 TN/TP D-1/317.3 laboratorium (mgr inż. M.Słowik)
Wtorek 1855 - 2035 TN/TP D-1/317.3 laboratorium (mgr inż. M.Słowik)
Środa 1515 - 1655 TN/TP D-1/317.3 laboratorium (mgr inż. M.Słowik)
Czwartek 915 - 1100 TN/TP D-1/317.2 laboratorium
Kolokwium egzaminacyjne: 4 luty 2019, 1115-1350, A-1/322.
Poprawkowe kolokwium egzaminacyjne: 12 luty 2019, 815-1050, A-1/322.
(W trybie 10-tygodniowym: 18 grudnia 2018 i 8 stycznia 2019, 1850-2030, A-1/322.)
Ranking kompilatorów i wyniki egzaminu.
Wyniki poprawy egzaminu.
Literatura
- A.V. Aho, R. Sethi, J.D. Ullman, Kompilatory. Reguły, metody i narzędzia, WNT, Warszawa 2002, (ISBN: 83-204-2656-1)
- J.E. Hopcroft, R. Motwani, J.D. Ullman, Wprowadzenie do teorii automatów, języków i obliczeń, WNT, Warszawa 2005 (ISBN 83-01-14502-1)
- J.E. Hopcroft, J.D. Ullman, Wprowadzenie do teorii automatów, języków i obliczeń, WNT, Warszawa 1994 (ISBN 83-01-11298-0)
- T.H. Cormen, Ch.E. Leiserson, R.L. Rivest, Wprowadzenie do algorytmów, WNT, Warszawa 1997 (ISBN 83-204-2144-6)
- Studia Informatyczne - Podstawy kompilatorów (http://wazniak.mimuw.edu.pl/)
Listy zadań na ćwiczenia
Listy zadań na laboratorium
Tematy wykładów (w przybliżeniu)
- Wprowadzenie do wykładu. DFA, NFA i RE. (2-10-2018)
- Równoważność DFA, NFA i RE. Minimalny DFA. (9-10-2018)
- Własności języków regularnych. Analiza leksykalna. (przykład z wykładu) (16-10-2018)
- Gramatyki bezkontekstowe. Postacie normalne Chomsky'ego i Greibach. (23-10-2018)
- Automat ze stosem (PDA). Równoważność PDA i gramatyk bezkontekstowych. (6-11-2018)
- Własności języków bezkontekstowych. (13-11-2018)
- Analiza składniowa. Translacja sterowana składnią. (przykłady z wykładu) (20-11-2018)
- Zależności kontekstowe. Synteza kodu i środowisko czasu wykonywania. (27-11-2018)
- Analiza zstępująca. Gramatyki typu LL(k). (4-12-2018)
- Analiza wstępująca. Gramatyki operatorowe. Gramatyki LR(k). (11-12-2018)
- Gramatyki SLR, LR(1) i LALR. (18-12-2018)
- Hierarchia Chomsky'ego. (8-01-2019)
- Wybrane zagadnienia języków formalnych. (15-01-2019)
- Podsumowanie wykładu. (22-01-2019)
- Podsumowanie wykładu. (cd) (29-01-2019)
Zasady zaliczenia grupy kursów
Zaliczenie ćwiczeń
- Zasadniczym celem ćwiczeń jest ułatwienie studentom samodzielnej pracy nad opanowaniem materiału w czasie całego semestru. Ocena z ćwiczeń jest oceną jakości i intensywności pracy studenta w czasie semestru.
- Wykładowca ogłasza z odpowiednim wyprzedzeniem listy zadań do samodzielnego rozwiązania przed zajęciami. Na ćwiczeniach studenci prezentują rozwiązania zadań. W trakcie rozwiązywania wyjaśniane są wątpliwości dotyczące rozwiązania oraz przedstawiane alternatywne rozwiązania.
- Podstawą do wystawienia oceny są wyniki krótkich sprawdzianów. Sprawdziany będą polegały na rozwiązaniu jednego zadania i punktowane od 0 do 5. Materiałem obowiązującym na sprawdzianie są tematy przerobione na trzech poprzednich ćwiczeniach. Sprawdziany przeprowadzane są bez uprzedniej zapowiedzi. Nieobecność na sprawdzianie daje 0.
- Podstawą do obliczenia oceny z kursu jest średnia punktów ze sprawdzianów zaokrąglona w górę do 0.5. Średnia może być podwyższona przez prowadzącego w zależności od aktywności studenta na ćwiczeniach.
- Decyzję odnośnie wyboru zadań do rozwiązania podejmuje prowadzący.
- Dodatkowym warunkiem zaliczenia jest oddanie przez studenta w formie pisemnej (PDF) wyznaczonych zadań. Oddawane zadanie powinno być rozwiązane dokładnie, w sposób formalny i przejrzysty. Zadanie wyznacza prowadzący ćwiczenia. Zadanie oddane w ciągu tygodnia od daty wyznaczenia jest zaliczane jako aktywność studenta na ćwiczeniach. Nie oddanie zadania skutkuje obniżeniem średniej punktów z ćwiczeń o 1.
- Punktacja nie podlega poprawianiu po zakończeniu zajęć. Średnia punktów z ćwiczeń nie może przekroczyć 7.
Zaliczenie laboratorium
- Na laboratoriach studenci powinni oddawać implementacje list przygotowanych do kursu.
- Listy powinny być oddane najpóźniej na ostatnich zajęciach przed datą podaną na liście.
- Oddawane rozwiązania powinny być samodzielnie napisane.
- Ostatnie zadanie (projekt kompilatora) podlega wspólnej ocenie dla całego roku według kryterium poprawności i szybkości wynikowego kodu. Oceny są przyznawane w następujący sposób: najlepsze 5 rozwiązań - ocena 5.5, rozwiązania od 6 do 10 - 5.0, od 11 do 20 - 4.5, od 21 do 30 - 4.0, od 31 do 40 - 3.5, pozostałe oddane i poprawne - 3.0.
- Nieusprawiedliwione nie oddanie w terminie listy powoduje obniżenie oceny z projektu kompilatora o 0.5 za każdy tydzień spóźnienia.
- Zaliczenie projektu kompilatora jest warunkiem koniecznym zaliczenia kursu
Zaliczenie wykładu
- Zdanie kolokwium egzaminacyjnego jest warunkiem koniecznym zaliczenia kursu.
- Kolokwium odbędzie się w sesji egzaminacyjnej (stosuje się do niego zasady egzaminu z regulaminu studiów). W przypadku pisania kolokwium w dwóch terminach za ocenę przyjmuję się ocenę z drugiego terminu (nadpisanie oceny).
- Na kolokwium jedyną dopuszczalną pomocą naukową jest kartka formatu a4 podpisana w ten sposób aby z odległości 2 metrów dało się ustalić jej właściciela. Oprócz tego student nie ma prawa mieć żadnych innych kartek, książek i innych pomocy. Kartki z treścią zadań i miejscem na rozwiązania oraz brudnopisy dostarcza wykładowca.
Ocena końcowa grupy kursów (egzamin)
Ocena końcowa (egzamin) liczona jest według wzoru 0.2*PC+0.4*OP+0.4*KE i zaokrąglana w górę do najbliższej oceny (2.5 zaokrągla się jednak do 2.0).
[PC - średnia punktów z ćwiczeń, OP - ocena z projektu, KE - ocena z kolokwium egzaminacyjnego.]