Elementy teorii automatów i języków formalnych 510-IS1-3TAJF
Profil studiów: ogólnoakademicki
Forma studiów: stacjonarne
Rodzaj przedmiotu: obowiązkowy
Dziedzina i dyscyplina nauki: nauki ścisłe i przyrodnicze, informatyka
Rok studiów / semestr: 3 / 5
Wymagania wstępne (tzw. sekwencyjny system zajęć i egzaminów): Przedmioty wprowadzające: Podstawy logiki i teorii mnogości, Algorytmy i struktury danych, Matematyka dyskretna,
Wykład: 30 Laboratorium: 30
Metody dydaktyczne: wiedza przekazywana na wykładzie, na laboratorium samodzielne rozwiązywanie problemów dotyczących treści nauczania
Punkty ECTS: 4
Bilans nakładu pracy studenta:
Udział w zajęciach:
- wykład 30h
- laboratorium 30h
Przygotowanie do zajęć:
- wykład 5h
- laboratorium 10h
Przygotowanie do egzaminu: 15h
Czas trwania egzaminu: 2h
Udział w konsultacjach: 13h
Wskaźniki ilościowe:
liczba godzin wymagających bezpośredniego udziału nauczyciela: 75h, 3 ECTS
liczba godzin nie wymagających bezpośredniego udziału nauczyciela: 30h, 1 ECTS
Rodzaj przedmiotu
Koordynatorzy przedmiotu
Efekty kształcenia
Student zna klasyczne pojęcia oraz wyniki z zakresu teorii języków
formalnych i automatów (języki regularne,
bezkontekstowe, kontekstowe, klasy 0, gramatyki dla
języków w hierarchii Chomsky'ego, automaty skończone, automaty ze stosem, maszyny Turinga) KA6_WG1(+) KA6_WG14 (+++)
Student potrafi wykorzystywać metody teorii języków formalnych
w informatyce, a także przeprowadzać formalne i poprawne rozumowania w obszarze języków formalnych KA6_UW5(+++) KA6_UW16 (+++) KA6_UW22 (+++) KA6_UK3(+++)
Student potrafi zaimplementować wybrane automaty oraz maszyny Turinga oraz zwizualizować ich działanie KA6_UW16 (+++) KA6_UW22(+++) KA6_UU1 (+) KA6_KK1(+++)
Kryteria oceniania
Ogólna forma zaliczenia: egzamin
Literatura
Literatura podstawowa:
Hopocroft J.E., Ullman J. D., Wprowadzenie do teorii automatów, języków i obliczeń, Wydawnictwo Naukowe PWN
Homenda W., Elementy teorii automatów i lingwistyki matematycznej, Oficyna Wydawnicza Politechniki Warszawskiej, 2004
Literatura uzupełniająca:
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: