Kompilatory WM-I-S2-E4-KOM

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

Grupa przedmiotów ogólnouczenianych

nie dotyczy

Opis nakładu pracy studenta w ECTS

WYKŁAD uczestnictwo w zajęciach: 30 godz. udział w egzaminach poza zajęciami: 2 godz. udział w konsultacjach: 2 godz. przygotowanie do zajęć: godz. przygotowanie do egzaminu: 41 godz. Łącznie 75 godz. 1,4 ECTS - kontakt bezpośredni z prowadzącym 1,6 ECTS - praca własna LABORATORIUM uczestnictwo w zajęciach: 30 godz. udział w konsultacjach: 4 godz. przygotowanie do zajęć: 11 godz. przygotowanie do zaliczenia: 30 godz. Łącznie 75 godz. 1,4 ECTS - kontakt bezpośredni z prowadzącym 1,6 ECTS - praca własna

Poziom przedmiotu

średnio-zaawansowany

Symbol/Symbole kierunkowe efektów uczenia się

wykład: I2_W10 laboratorium: I2_U09 OPIS SYMBOLI wykład - Absolwent: I2_W10 - w pogłębionym stopniu zna i rozumie teoretyczne i praktyczne aspekty wybranej dziedziny informatycznej. laboratorium - Absolwent: I2_U09 - potrafi stosować w wybranej dziedzinie zaawansowane narzędzia i metody informatyczne.

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

Dorota Dąbrowska
William Steingartner

Efekty kształcenia

WYKŁAD

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).

LABORATORIUM

Student:
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-E4-KOM w USOSweb