A geometrical approach to star height

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.