A geometrical approach to star height

Prelegent(ci)

Mikołaj Bojańczyk

Afiliacja

Uniwersytet Warszawski

Termin

6 stycznia 2009 14:15

Pokój

p. 5870

Seminarium

Seminarium „Teoria automatów”

---

I will talk about an algorithm deciding limitedness of distance desert automata (which is the hard part in deciding star height). The algorithm itself is quite simple, and the correctness argument involves concepts such as compact metric space and convergent sequence.

---