Celem seminarium jest zaznajomienie słuchaczy z klasycznymi modelami
automatow, ich własnościami oraz zastosowaniami.
**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ę, przekroj,
dopełnienie. c) Logiki temporalne i model checking.
d) Relacje automatyczne.
2\. **Automaty na drzewach oraz drzewach nieskończonych. **
a) Podstawowe definicje i własności.
b) Lemat o pompowaniu dla językow drzew.
c) Gry na grafach. Twierdzenie Rabina.
d) Zastosowania w logice.
3\. **Automaty z wagami. **
a) Podstawowe definicje.
b) Zastosowania w rozpoznawaniu mowy i weryfikacji.