A geometrical approach to star height

Speaker(s)

Mikołaj Bojańczyk

Affiliation

Uniwersytet Warszawski

Date

Jan. 6, 2009, 2:15 p.m.

Room

room 5870

Seminar

Seminar Automata Theory

---

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.

---