% This automaton recognises b*(b*ab*a)*, so star-height is 2 2 c ab 0 0 a _ 1 1 _ b 1 _ _ 1