Języki formalne i złożoność obliczeniowa lato 2011/12

Język wykładowy Polski
Opiekun Jerzy Marcinkowski
Liczba godzin 60 (wyk.) 30 (ćw.) 30 (rep.)
Rodzaj Obowiązkowy 3
ECTS 9
Polecany dla I roku Nie
Egzamin Tak

Opis przedmiotu:

**Program:** 1. Wyrażenia i języki regularne. Automaty skończone, równoważność deterministycznych automatów skończonych, niedeterministycznych automatów skończonych i wyrażeń regularnych. (4 godz.) 2. Lemat o pompowaniu. Twierdzenie Myhilla-Nerode'a i minimalizacja automatu. (4 godz.) 3. Gramatyki i języki bezkontekstowe. Postać normalna Greibach i Chomsky'ego. #Automaty ze stosem. Równoważność gramatyk bezkontekstowych i automatów ze stosem. (10 godz.) 4. Lemat o pompowaniu i lemat Ogdena. (4 godz.) 5. Języki deterministyczne i jednoznaczne. (4 godz.) 6. Teoretyczne modele maszyn obliczających. Modele obliczeń sekwencyjnych: maszyna Turinga i jej modyfikacje, RAM. Niedeterministyczna maszyna Turinga. 7. Przykładowe symulacje pomiędzy różnymi modelami. Definicja Kleene'go. Teza Churcha. (6 godz.) 8. Pojęcie zbioru rekurencyjnego i rekurencyjnie przeliczalnego. Kodowanie i numeracja maszyn Turinga, maszyna uniwersalna. Nierozstrzygalność problemu stopu. Inne przykłady problemów nierozstrzygalnych. Twierdzenie Rice'a. (4 godz.) 9. Nierozstrzygalność problemów Posta i problemu słów w półgrupie. Informacja o nierozstrzygalności arytmetyki. (4 godz.) 10. Czasowa i pamięciowa złożoność obliczeniowa dla modelu maszyny Turinga. 11. Zależności pomiędzy nimi. Pojęcie klasy złożoności i najważniejsze przykłady (LOGSPACE, NLOGSPACE, PTIME, UP, NP, PSPACE, EXPTIME). Przykład problemu wymagającego wykładniczego czasu i pamięci. (8 godz.) 12. NP-zupełność, sens pojęcia, przykłady, tw. Cooka, redukcje pomiędzy problemami, hipoteza P≠ NP. (6 godz.) 13. Zagadnienie złożoności dla modeli równoległych, klasa PSPACE jako pułap złożoności dla obliczeń równoległych w czasie wielomianowym, informacja o klasie NC, jej podklasach i strukturze. (4 godz.) **Wymagania:** Logika dla informatyków, Matematyka dyskretna oraz Algorytmy i struktury danych

Wykłady

Lista
Prowadzący Termin zajęć Limit Zapisani Kolejka
Jerzy Marcinkowski
300 59 0

UWAGA! Wyższa liczba oznacza wyższy priorytet, po zapisaniu do grupy zostajemy usunięci z kolejek o niższym priorytecie.

Ćwiczenia

Lista
Prowadzący Termin zajęć Limit Zapisani Kolejka
Sebastian Bala
20 9 0
Artur Jeż
20 20 0
Jerzy Marcinkowski
20 15 0

UWAGA! Wyższa liczba oznacza wyższy priorytet, po zapisaniu do grupy zostajemy usunięci z kolejek o niższym priorytecie.

Repetytoria

Lista
Prowadzący Termin zajęć Limit Zapisani Kolejka
Sebastian Bala
300 52 0

UWAGA! Wyższa liczba oznacza wyższy priorytet, po zapisaniu do grupy zostajemy usunięci z kolejek o niższym priorytecie.


Konsultacje prowadzących:


Imię i nazwisko Pokój Konsultacje
Sebastian Bala
Jerzy Marcinkowski 345 Środa, od 2 po południu. Proszę się wcześniej umówić mailem.
Artur Jeż 342 Środa, 12:15-14:00, mile widziane uprzedzenie emailem Lub inny termin po ustaleniu emailem.