Automaty i języki formalne 06-ZAUTLI0
Celem wykładu jest matematyczna prezentacja teorii języków formalnych i automatów jako jednego z działów informatyki teoretycznej. Z drugiej strony wykład przedstawia pojęcia i wyniki, które należą do elementarnej wiedzy informatyka-praktyka. Wykład może stanowić podstawę do bardziej zaawansowanych studiów o charakterze teoretycznym np. z zakresu teorii obliczeń i teorii złożoności obliczeniowej lub studiów z zakresu zastosowań informatyki, np. w lingwistyce komputerowej. Zajęcia laboratoryjne dają możliwość wykorzystanie teoretycznej wiedzy w praktyce programistycznej.
Koordynatorzy przedmiotu
Literatura
J. E. F. Friedl, Wyrażenia regularne, Wydawnictwo Helion, Warszawa, 2001.
J. E. Hopcroft, R. Motwani, J. D. Ullman, Wprowadzenie do teorii automatów, języków i obliczeń, Wydawnictwo Naukowe PWN, Warszawa, 2005.
J. Jędrzejowicz, A. Szepietowski, Języki, automaty, złożoność obliczeniowa, Wydawnictwo Uniwersytetu Gdańskiego, Gdańsk, 2008.
T. Krasiński, Automaty i języki formalne, Wydawnictwo Uniwersytetu Łódzkiego, Łódź, 2007.
M. Sipser, Wprowadzenie do teorii obliczeń, Wydawnictwa Naukowo-Techniczne, Warszawa, 2009.
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: