Celem seminarium jest zaznajomienie słuchaczy z klasycznymi modelami
automatów, ich własnościami oraz zastosowaniami. W trakcie seminarium zostaną zaproponowane tematy prac magisterskich.
Seminarium może odbywać się zdalnie poprzez Google Meet lub MS Teams, jeśli zajęcia w semestrze zimowym będą odbywały się zdalnie.
**Program:**
1. **Automaty na słowach nieskończonych.**
a) Automaty Buchiego oraz inne warunki akceptacji.
b) Zamkniętość język ow omega-regularnych ze względu na sumę, przekrój,
dopełnienie. c) Zastosowania automatów na słowach nieskończonych.
2. **Automaty na drzewach oraz drzewach nieskończonych.**
a) Podstawowe definicje i własności.
b) Związki automatów na drzewach z grami na grafach.
3. **Automaty z wagami.**
a) Podstawowe definicje.
b) Zastosowania w rozpoznawaniu mowy i weryfikacji.
4. **Gry na grafach.**
a) Podstawowe definicje.
b) Strategie: bezpamięciowe, ze skończoną pamięcią oraz z nieskończoną pamięcią.
c) Gry ilościowe.
5. **Modele probabilistyczne.**
a) Łańcuchy Markova.
a) Procesy decyzyjne Markova.
a) Automaty probabilistyczne.
