Zastosowania Nullstellensatz w teorii automatów

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.