Języki formalne i techniki translacji 2017
Środa 915 - 1100 C-13/1.27 wykład
Środa 1515 - 1655 TP/TN D-1/312B ćwiczenia (mgr inż. K.Gotfryd)
Środa 1705 - 1845 TP/TN D-1/312B ćwiczenia (mgr inż. K.Gotfryd)
Wtorek 915 - 1100 TN/TP D-1/317.3 laboratorium
Wtorek 1115 - 1300 TN/TP D-1/317.3 laboratorium
Wtorek 1515 - 1655 TP D-1/317.3 laboratorium
Czwartek 1115 - 1300 TN/TP D-1/317.3 laboratorium
Piątek 1705 - 1845 TN/TP D-1/317.3 laboratorium (mgr inż. K.Gotfryd)
Kolokwium egzaminacyjne: 26 stycznia 2018, 815-1050, A-1/322.
Poprawkowe kolokwium egzaminacyjne: 2 luty 2018, 815-1050, A-1/322.
Wyniki pierwszego terminu w trybie 10-cio tygodniowym.
Ranking kompilatorów i wyniki egzaminu.
Wyniki drugiego 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. (4-10-2017)
- Równoważność DFA, NFA i RE. Minimalny DFA. (11-10-2017)
- Własności języków regularnych. Analiza leksykalna. (przykład z wykładu) (18-10-2017)
- Gramatyki bezkontekstowe. Postacie normalne Chomsky'ego i Greibach. (25-10-2017)
- Automat ze stosem (PDA). Równoważność PDA i gramatyk bezkontekstowych. (30-10-2017)
- Własności języków bezkontekstowych. (15-11-2017)
- Analiza składniowa. Translacja sterowana składnią. (przykłady z wykładu) (15-11-2017)
- Zależności kontekstowe. Synteza kodu i środowisko czasu wykonywania. (22-11-2017)
- Analiza zstępująca. Gramatyki typu LL(k). (29-11-2017)
- Analiza wstępująca. Gramatyki operatorowe. Gramatyki LR(k). (6-12-2017)
- Gramatyki SLR, LR(1) i LALR. (13-12-2017)
- Hierarchia Chomsky'ego. (20-12-2017)
- Wybrane zagadnienia języków formalnych. (10-01-2018)
- Podsumowanie wykładu. (17-01-2018)
- Podsumowanie wykładu. (cd) (24-01-2018)
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 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.
- Punktacja nie podlega poprawianiu po zakończeniu zajęć.
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 programu 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.]