Zastosowania Nullstellensatz w teorii automatów

Speaker(s)

Mikołaj Bojańczyk

Affiliation

Uniwersytet Warszawski

Date

March 1, 2018, 12:15 p.m.

Room

room 5820

Seminar

Seminar 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.

---