I've never understood this claim. I find state machines very hard to follow because there's no easy way to tell what paths lead to a given state; they're like u

I've never understood this claim. I find state machines very hard to follow because there's no easy way to tell what paths lead to a given state; they're like using goto instead of functions (indeed they're often implemented that way).