Strengths of finite state machines