This talk constitutes the continuation of the previous one, in which the star-height problem was reduced to a boundedness question.

In this second part, we will establish the decidability of this second problem, following the ideas of Leung, Simon, and Kirsten.