Assumption: there is only a single transition out of every state. Have two pointers, initialized to the start state. Advance the first one one state at a time and advance the second one two states at a time. If the two pointers point to the same state there is a cycle. Note that this picks up rho situations, where you don't start in a cycle but have to travel a bit to reach one.