Automaty i języki formalne / Sztuczna Inteligencja 17-DAUT-IP0
Jeszcze nie wprowadzono opisu dla tego przedmiotu...
Cele kształcenia
Informacja o tym, gdzie można zapoznać się z materiałami do zajęć
Kierunek studiów
Metody prowadzenia zajęć umożliwiające osiągnięcie założonych EK
Moduł zajęć/przedmiotu prowadzony zdalnie (e-learning)
Nakład pracy studenta (punkty ECTS)
Poziom przedmiotu
Rodzaj przedmiotu
Wymagania wstępne w zakresie wiedzy, umiejętności oraz kompetencji
Koordynatorzy przedmiotu
W cyklu 2024/SZ: | W cyklu 2021/SZ: | W cyklu 2019/SZ: | W cyklu 2023/SZ: | W cyklu 2022/SZ: | W cyklu 2020/SZ: |
Efekty kształcenia
Po ukończeniu kształcenia student
- ma podstawową wiedzę w zakresie języków formalnych i ich własności,
- zna formalne modele obliczeń (automaty skończenie stanowe, automaty ze stosem, maszyny Turinga) i ich własności,
- zna podstawowe rodzaje gramatyk generatywnych, ich własności i związki z automatami
- potrafi stosować wprowadzone modele obliczeń i rodzaje gramatyk do definiowania/opisywania języków formalnych
- potrafi zaimplementować reprezentacje formalizmów automatów skończenie stanowych, wyrażeń regularnych i gramatyk bezkontekstowych w obiektowym języku programowania
Kryteria oceniania
Zadania wykonywane podczas zajęć
Zadania domowe
Egzamin pisemny na końcu semestru
Praktyki zawodowe
Nie są przewidziane
Literatura
J.E. Hopcroft, R. Motwani, J.D. Ullman: Wprowadzenie do teorii automatów, języków i obliczeń. Wydawnictwo Naukowe PWN, Warszawa, 2005.
M. Sipser: Wprowadzenie do teorii obliczeń. Wydawnictwa Naukowo-Techniczne, Warszawa,
G.E. Revesz: Introduction to Formal Languages. Mc-Graw-Hill Book Company
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: