Celem wykładu jest omowienie najważniejszych wynikow teoretycznych dotyczących
automatow z wagami oraz przegląd zastosowań praktycznych w ktorych automaty z
wagami mają istotne znaczenie.
**Program:**
1\. Teoria racjonalnych szeregow formalnych (rational power series) i jej
związki z językami formalnymi.
2\. Automaty z wagami na napisach i drzewach: podstawowe własności,
twierdzenie Kleene'go dla automatow z wagami na drzewach skończonych
3\. Automaty z odległością : złożoność problemu ograniczoności ,
nierozstrzygalność problemu rownoważności
4\. Zastosowania automatow z wagami w: kompresji obrazow cyfrowych,
przetwarzania mowy naturalnej
5\. Do wyboru jedno z dwoch trudnych twierdzeń z językow formalnych (dotyczące
rozstrzygalności), ktore zostały udowodnione dzięki zastosowaniu racjonalnych
szeregow formalnych i automatow z wagami: problem "star height", problem
rownoważności automatow deterministycznych ze stosem.
**Wymagania:** Algebra Języki formalne i złożoność obliczeniowa
