Zastosowania Nullstellensatz w teorii automatów

Prelegent(ci)

Mikołaj Bojańczyk

Afiliacja

Uniwersytet Warszawski

Termin

1 marca 2018 12:15

Pokój

p. 5820

Seminarium

Seminarium „Algebra”

---

W swoim referacie pokażę jak twierdzenia o wielomianach, typu Nullestellensatz, mogą być wykorzystane w algorytmach dla teorii automatów. Pomysł polega na tym, żeby obiekty z teorii automatów (słowa lub drzewa) zanurzyć w liczbach, a następnie przekształcać te obiekty za pomocą wielomianów.

---