Kompilatory-zajęcia fakultatywne WM-I-S2-E1-ZF1

Kurs stanowi wprowadzenie do teorii języków formalnych, kompilatorów i ich architektury.

Omawiane tematy obejmują hierarchię Chomsky'ego, automaty skończone i automaty ze stosem, gramatykę, analizę leksykalną, analizę składniową, generowanie i optymalizację kodu, obsługę błędów i ćwiczenia z generatorami procesorów języka.

Zachowana jest równowaga między zapewnieniem wystarczającego zaplecza teoretycznego, aby umożliwić jasne zrozumienie tematu, a zaplecza praktycznego, które zarówno ilustruje koncepcje, jak i umożliwia implementację prostych kompilatorów i procesorów języka. Kurs obejmuje zarówno wymaganą teorię, jak i kilka eleganckich technik kompilacji, które są korzystne dla inżynierów oprogramowania. Techniki stosowane do implementacji analizatorów leksykalnych można stosować w innych obszarach, takich jak języki baz danych lub systemy wyszukiwania informacji.

Dyscyplina naukowa, do której odnoszą się efekty uczenia się

informatyka techniczna i telekomunikacja

E-Learning

W cyklu 2024/25_L:

E-Learning

W cyklu 2022/23_Z:

E-Learning (pełny kurs) z podziałem na grupy

Grupa przedmiotów ogólnouczenianych

nie dotyczy

Opis nakładu pracy studenta w ECTS

WYKŁAD - szacunkowy nakład pracy studenta: * uczestnictwo w zajęciach 30h * egzamin 2h, * przygotowanie do egzaminu, samodzielne lektura, 45h razem 77h, co odpowiada 3 ECTS LABORATORIA - szacunkowy nakład pracy studenta: * uczestnictwo w zajęciach, konsultacje 30h, * przygotowanie do egzaminu, samodzielne lektura, przygotowanie projektów, przygotowanie do zajęć, prace domowe 45h razem 75h, co odpowiada 3 ECTS

Poziom przedmiotu

średnio-zaawansowany

Symbol/Symbole kierunkowe efektów uczenia się

wykład I2_W10, I2_U09 laboratoria I2_W10, I2_U09

Typ przedmiotu

obowiązkowy

Wymagania wstępne

Umiejętność programowania w języku C. Znajomość podstawowych struktur danych. Znajomość teorii mnogości i podstaw matematyki dyskretnej.

Koordynatorzy przedmiotu

W cyklu 2024/25_L:

Dorota Dąbrowska
William Steingartner

W cyklu 2022/23_Z:

Krzysztof Krakowski

Efekty kształcenia

WYKŁAD I LABORATORIA
Student
W1 - wymienia komponenty kompilatora (I2_W10);
W2 - definiuje wzorce i gramatyki tokenów za pomocą notacji formalnej (I2_W10);
W3 - wymienia techniki optymalizacji stosowane przez kompilatory (I2_W10);
U1 - konstruuje rekurencyjny analizator (parser) (I2_U09);
U2 - konstruuje kompilator kierowany poprzez 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:

Strona przedmiotu WM-I-S2-E1-ZF1 w USOSweb