Elementy teorii automatów i języków formalnych 510-IS1-3TAJF-23
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, 2,6 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) KP6_WG1, KP6_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 KP6_UW5, KP6_UW16, KP6_UW22, KP6_UK3
Student potrafi zaimplementować wybrane automaty oraz maszyny Turinga oraz zwizualizować ich działanie KP6_UW16, KP6_UW22, KP6_UU1, KP6_KK1
Kryteria oceniania
Ogólna forma zaliczenia: zaliczenie na ocenę
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
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: