Kompilatory WM-I-S2-E4-KOM
Kurs stanowi wprowadzenie do teorii i praktyki budowy kompilatorów oraz innych procesorów języków. Obejmuje podstawy języków formalnych, gramatyk i automatów, a następnie kolejne etapy przetwarzania języka: analizę leksykalną, składniową i semantyczną, reprezentacje pośrednie, generowanie i podstawy optymalizacji kodu oraz obsługę błędów.
Szczególną uwagę poświęca się metodom konstrukcji analizatorów leksykalnych i składniowych, w tym metodom LL i LR, oraz wykorzystaniu odpowiednich narzędzi wspomagających ich tworzenie. Zagadnienia teoretyczne są ilustrowane przykładami i implementacjami, umożliwiającymi zrozumienie zależności między formalnym opisem języka a działaniem jego procesora.
Przedstawiane metody mają zastosowanie nie tylko w budowie kompilatorów, lecz także w projektowaniu i implementacji interpreterów, języków dziedzinowych oraz innych systemów wymagających analizy i przetwarzania języka.
Dyscyplina naukowa, do której odnoszą się efekty uczenia się
E-Learning
Grupa przedmiotów ogólnouczenianych
Koordynatorzy przedmiotu
Opis nakładu pracy studenta w ECTS
Poziom przedmiotu
Symbol/Symbole kierunkowe efektów uczenia się
Typ przedmiotu
Wymagania wstępne
Efekty uczenia się
WYKŁAD
Student:
W1 – charakteryzuje strukturę kompilatora, jego podstawowe fazy oraz zależności między nimi (I2_W10),
W2 – wyjaśnia formalne podstawy analizy leksykalnej i składniowej oraz charakteryzuje metody konstrukcji analizatorów leksykalnych i składniowych (I2_W10),
W3 – charakteryzuje podstawowe metody analizy semantycznej, generowania reprezentacji pośrednich, generowania i optymalizacji kodu oraz obsługi błędów (I2_W10).
LABORATORIUM
Student:
U1 – stosuje formalne metody i narzędzia do konstrukcji analizatorów leksykalnych i składniowych (I2_U09),
U2 – projektuje i implementuje wybrane elementy procesora języka, wykorzystując analizę składniową, analizę semantyczną i translację kierowaną składnią (I2_U09).
Kryteria oceniania
Dla wszystkich efektów przyjmuje się następujące kryteria oceny we wszystkich formach weryfikacji:
ocena 5: osiągnięty w pełni (bez uchwytnych niedociągnięć),
ocena 4,5: osiągnięty niemal w pełni i nie są spełnione kryteria przyznania wyższej oceny,
ocena 4: osiągnięty w znacznym stopniu i nie są spełnione kryteria przyznania wyższej oceny,
ocena 3,5: osiągnięty w znacznym stopniu – z wyraźną przewagą pozytywów – i nie są spełnione kryteria przyznania wyższej oceny,
ocena 3: osiągnięty dla większości przypadków objętych weryfikacją i nie są spełnione kryteria przyznania wyższej oceny,
ocena 2: nie został osiągnięty dla większości przypadków objętych weryfikacją.
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: