Techniki kompilacji
Informacje ogólne
Kod przedmiotu: | 103D-INIOP-ISP-TKOM |
Kod Erasmus / ISCED: | (brak danych) / (brak danych) |
Nazwa przedmiotu: | Techniki kompilacji |
Jednostka: | Wydział Elektroniki i Technik Informacyjnych |
Grupy: |
( Inżynieria oprogramowania )-Inżynieria oprogramowania-inż.-EITI ( Przedmioty techniczne )---EITI |
Punkty ECTS i inne: |
4.00
|
Język prowadzenia: | polski |
Jednostka decyzyjna: | 103000 - Wydział Elektroniki i Technik Informacyjnych |
Kod wydziałowy: | TKOM |
Numer wersji: | 4 |
Skrócony opis: |
Celem przedmiotu jest zapoznanie studentów z głównymi pojęciami, metodami i algorytmami związanymi z transformacją tekstów oraz podstawami budowy kompilatorów i stosowanych w nich metodach i algorytmach. W szczególności, studenci zapoznają się/pogłębiają wiedzę i umiejętności praktyczne w zakresie wyrażeń regularnych (aspektów użytkowych jak i samego sposobu realizacji mechanizmu wyrażeń regularnych – automaty niedeterministyczne i deterministyczne), gramatyki i języki (metody specyfikacji, różne klasy gramatyk – metody weryfikacji przynależności do danej klasy, przekształcanie gramatyk), gramatyki bezkontekstowe, teoretyczne i praktyczne aspekty analizy leksykalnej, składniowej, semantycznej, interpretacja i generacja kodu. W sposób praktyczny student zdobywa i weryfikuje swoją wiedzę i umiejętności poprzez realizację, w ramach zajęć projektowych, np. interpretera własnego języka programowania czy fragmentu kompilatora. |
Pełny opis: |
Celem przedmiotu jest zapoznanie studentów z głównymi pojęciami, metodami i algorytmami związanymi z transformacją tekstów oraz podstawami budowy kompilatorów i stosowanych w nich metodach i algorytmach. W szczególności, studenci zapoznają się/pogłębiają wiedzę i umiejętności praktyczne w zakresie wyrażeń regularnych (aspektów użytkowych jak i samego sposobu realizacji mechanizmu wyrażeń regularnych – automaty niedeterministyczne i deterministyczne), gramatyki i języki (metody specyfikacji, różne klasy gramatyk – metody weryfikacji przynależności do danej klasy, przekształcanie gramatyk), gramatyki bezkontekstowe, teoretyczne i praktyczne aspekty analizy leksykalnej, składniowej, semantycznej, interpretacja i generacja kodu. W sposób praktyczny student zdobywa i weryfikuje swoją wiedzę i umiejętności poprzez realizację, w ramach zajęć projektowych, np. interpretera własnego języka programowania czy fragmentu kompilatora.
Celem projektu jest zapoznanie się z metodami wytwarzania i budową kompilatorów. W szczególności, opanowanie przez studenta praktycznych umiejętności realizacji przetwarzania sterowanego składnią w odniesieniu do różnych typów zastosowań wykorzystujących notację sformalizowaną (symulacja, przetwarzanie i rozpoznawanie tekstu, interpretacja prostych języków). Wymagane jest przygotowanie projektu (w szczególności: zebranie i wyspecyfikowanie wymagań w toku dyskusji z prowadzącym projekt, opracowanie gramatyki własnego języka, koncepcji rozwiązania) oraz dokumentacji końcowej. |
Literatura: |
|
Metody i kryteria oceniania: |
Sprawdzanie założonych efektów kształcenia realizowane jest przez:
|
Zajęcia w cyklu "rok akademicki 2023/2024 - sem. letni" (w trakcie)
Okres: | 2024-02-19 - 2024-09-30 |
Przejdź do planu
PN WT ŚR WYK
CZ PT |
Typ zajęć: |
Projekt, 30 godzin, 64 miejsc
Wykład, 30 godzin, 64 miejsc
|
|
Koordynatorzy: | Piotr Gawkowski | |
Prowadzący grup: | Piotr Gawkowski, Agnieszka Malanowska, Witold Wysota | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: | Egzamin | |
Jednostka realizująca: | 103200 - Instytut Informatyki |
Zajęcia w cyklu "rok akademicki 2023/2024 - sem. zimowy" (zakończony)
Okres: | 2023-10-01 - 2024-02-18 |
Przejdź do planu
PN WYK
WT ŚR CZ PT |
Typ zajęć: |
Projekt, 30 godzin, 37 miejsc
Wykład, 30 godzin, 37 miejsc
|
|
Koordynatorzy: | Piotr Gawkowski | |
Prowadzący grup: | Piotr Gawkowski, Witold Wysota | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: | Egzamin | |
Jednostka realizująca: | 103200 - Instytut Informatyki |
Zajęcia w cyklu "rok akademicki 2022/2023 - sem. letni" (zakończony)
Okres: | 2023-02-20 - 2023-09-30 |
Przejdź do planu
PN WT ŚR WYK
CZ PT |
Typ zajęć: |
Projekt, 30 godzin, 64 miejsc
Wykład, 30 godzin, 64 miejsc
|
|
Koordynatorzy: | Piotr Gawkowski | |
Prowadzący grup: | Piotr Gawkowski, Agnieszka Malanowska, Witold Wysota | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: | Egzamin | |
Jednostka realizująca: | 103200 - Instytut Informatyki |
Zajęcia w cyklu "rok akademicki 2022/2023 - sem. zimowy" (zakończony)
Okres: | 2022-10-01 - 2023-02-19 |
Przejdź do planu
PN WYK
WT ŚR CZ PT |
Typ zajęć: |
Projekt, 30 godzin, 30 miejsc
Wykład, 30 godzin, 30 miejsc
|
|
Koordynatorzy: | Piotr Gawkowski | |
Prowadzący grup: | Piotr Gawkowski, Witold Wysota | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: | Egzamin | |
Jednostka realizująca: | 103200 - Instytut Informatyki |
Zajęcia w cyklu "rok akademicki 2021/2022 - sem. letni" (zakończony)
Okres: | 2022-02-23 - 2022-09-30 |
Przejdź do planu
PN WT ŚR WYK
CZ PT |
Typ zajęć: |
Projekt, 30 godzin, 60 miejsc
Wykład, 30 godzin, 60 miejsc
|
|
Koordynatorzy: | Piotr Gawkowski | |
Prowadzący grup: | Piotr Gawkowski, Konrad Grochowski, Witold Wysota | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: | Egzamin | |
Jednostka realizująca: | 103200 - Instytut Informatyki |
Właścicielem praw autorskich jest Politechnika Warszawska.