In the article he says "finite state machines", not merely "state machines". The distinction is not negligible. FSMs have important properties (and correspondin

In the article he says "finite state machines", not merely "state machines". The distinction is not negligible. FSMs have important properties (and corresponding algorithms) that rely on the fact that their state spaces are finite.