Języki formalne i techniki translacji 2015
Środa 915 - 1100 C-13/0.31 wykład
Poniedziałek 1705 - 1855 TN/TP C-7/303 ćwiczenia
Czwartek 1855 - 2025 TN/TP ćwiczenia
Poniedziałek 730 - 900 TN/TP D-1/317.3 laboratorium
Środa 730 - 900 TN/TP D-1/317.3 laboratorium
Środa 1515 - 1655 TN/TP D-1/317.3 laboratorium
Środa 1705 - 1845 TN/TP D-1/317.3 laboratorium
Kolokwium egzaminacyjne: 2 luty 2016, 915-1100, A-1/322.
Poprawkowe kolokwium egzaminacyjne: 9 luty 2016, 915-1100, A-1/322.
Wyniki pierwszego terminu w trybie 10-cio tygodniowym
Wyniki drugiego terminu w trybie 10-cio tygodniowym
Wyniki pierwszego terminu
Wyniki drugiego terminu
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.
- Równoważność DFA, NFA i RE. Minimalny DFA.
- Własności języków regularnych. Analiza leksykalna. (przykład z wykładu)
- Gramatyki bezkontekstowe. Postacie normalne Chomsky'ego i Greibach.
- Automat ze stosem (PDA). Równoważność PDA i gramatyk bezkontekstowych.
- Własności języków bezkontekstowych.
- Zstępująca analiza składniowa.
- Gramatyki typu LL(k).
- Analiza wstępująca. Gramatyki LR(k).
(przykład z wykładu)
- Gramatyki SLR, LR(1) i LALR.
- Translacja sterowana składnią i zależności kontekstowe.
(przykład z wykładu)
- Synteza kodu i środowisko czasu wykonywania.
- Hierarchia Chomsky'ego.
- Wybrane dodatkowe fakty dla języków formalnych
- Podsumowanie wykładu.
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.
- 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.]