Automaty a półgrupy 1000-2M05AG
1. Podstawy półgrup. Związki z językami regularnymi. Relacje Green'a (2-3 wykłady)
2. Twierdzenie Simona o lasach faktoryzacji (1 wykład)
3. Twierdzenie Schutzenbergera o językach bezgwiazdkowych (1-2 wykłady)
4. Logiki temporalne (2 wykłady)
5. Słowa nieskończone (3 wykłady)
6. Drzewa (3 wykłady)
Rodzaj przedmiotu
Literatura
1.Howard Straubing, Finite Automata, Formal Logic and Circuit Complexity, Birkahauser 1994
Więcej informacji
Więcej informacji o poziomie przedmiotu, roku studiów (i/lub semestrze) w którym się odbywa, o rodzaju i liczbie godzin zajęć - szukaj w planach studiów odpowiednich programów. Ten przedmiot jest związany z programami:
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: