Unary automata simulations and cyclic languages