Jest to seminarium badawcze, na którym będziemy omawiać (głównie) najnowsze prace dotyczące automatów skończonych (takich jak DFA i NFA) i ich własności matematycznych. Będą to przede wszystkim zagadnienia związane z problemami otwartymi.
Zapraszam przy tym chętnych do wspólnego rozwiązywania problemów. Będę proponować włączenie się do badań, co może zaowocować dobrą pracą magisterską/licencjacką/cokolwiek.
Będzie też miejsce na przeprowadzenie paru eksperymentów obliczeniowych.
Tematyka obejmuje automaty, języki regularne, algorytmy, złożoność obliczeniową problemów, metody matematyczne aplikowane do automatów (algebra, kombinatoryka, teoria grafów, teoria grup, teoria macierzy).
Seminarium powinno być interesujące między innymi dla osób którym podobała się pierwsza część wykładu z języków formalnych.
Poziom trudności będzie bardzo zróżnicowany, tak żeby każdy mógł znaleźć coś dla siebie. Konkretne propozycje będą pochodzić ode mnie, ale można zaproponować własny temat.
Nie trzeba posiadać głębokiej wiedzy z tych tematów, przede wszystkim jednak trzeba radzić sobie z czytaniem i rozumieniem prac.
