|
Referat ma na celu wprowadzenie słuchaczy w tematykę automatów
synchronizujących. Automat (czyli etykietowany graf skierowany) jest
synchronizujący, gdy istnieje słowo (ciąg etykiet tego grafu), wspólne
dla wszystkich stanów (wierzchołków grafu),
sprowadzające je do jednego,
ustalonego stanu. Podczas referatu: 1) przedstawiona zostanie
nierozwiązana od ponad 40 lat hipoteza Cernego dotycząca długości tzw.
minimalnych słów synchronizujących; 2) przedstawiony zostanie dowód
twierdzenia na znane ograniczenie górne tej długości; 3) opisane
zostaną aktualnie eksplorowane kierunki badań nad synchronizacją.
|
|