Oferta dydaktyczna Instytutu Informatyki

Poniższa lista przedstawia przedmioty, które są uczone w Instytucie Informatyki, niektóre z nich co roku, niektóre z mniejszą częstotliwością Każdy student Instytutu Informatyki studiuje wg indywidualnego toku studiów, wybierając (zgodnie z pewnymi zasadami) z tej listy swoje przedmioty.

Jeżeli zastanawiasz się nad studiami u nas, jeżeli chcesz wiedzieć, czy na Uniwersytecie można zostać inżynierem, jeżeli interesuje Cię 1000 zł stypendium miesięcznie - zapraszamy na naszą stronę główną

Automaty z wagami

Nazwa angielska (title in English): Weighted Automata
Prowadzący (lecturer): Sebastian Bala
Liczba punktów (ECTS): 6
Liczba punktów 2007 (ECTS since 2007): 9
Rodzaj (type): zaawansowany
Rodzaj od 2007 (type since 2007): informatyczny.I2
Liczba godzin (hours in semester):
wykład:30
ćwiczenia:30
Egzamin (exam): tak
Możliwe zajęcia w języku angielskim (can be taught in English): nie
Przedmiot zostal uaktualniony na biezacy rok (updated): nie
Semestr (semester): zimowy

Wymagania (prerequisites)

Opis (description)

Celem wykładu jest omówienie najważniejszych wyników teoretycznych

dotyczących automatów z wagami oraz pokazanie dlaczego część środowiska

zajmującego się pisaniem translatorów języka naturalnego lub translatorów

speech2text używa formalizmu automatów z wagami.

Program (program)

1. Teoria wymiernych szeregów formalnych i jej związki z językami formalnymi.

2. Automaty z wagami na napisach i drzewach: podstawowe własności, twierdzenie Kleene'go dla automatów z wagami na drzewach skończonych, minimalizacja automatów z wagami, determinizacja, hierarchia klas funkcji reprezentowanych przez automaty z wagami.

3. Automaty z odległością : złożoność problemu ograniczoności, nierozstrzygalność problemu równoważności

4. Zastosowania automatów z wagami w: kompresji obrazów cyfrowych, przetwarzania mowy naturalnej

5. Hierarchia wyrażeń regularnych, klasa języków star-free, rozstrzygalność problemu star-height.

Literatura (references)

Jeżeli jesteś zainteresowany studiowaniem w naszym instytucie, zapraszamy na stronę poświęconą tegorocznej rekrutacji.

Nazwa użytkownika (user name):
Hasło (password):