The example in figure 7 shows a Mealy FSM implementing the same behaviour as in the Moore example (the behaviour depends on the implemented FSM execution model and will work, e.g., for virtual FSM but not for event driven FSM).
از لحاظ یک مدل محاسباتی انتزاعی ، ماشین‌های حالات متناهی نسبت به دیگر مدل های محاسباتی نظیر ماشین تورینگ قدرت محاسباتی کمتری دارند.به این معنا که کارهایی هست که FSM نمی‌تواند انجام دهد اما ماشین تورینگ می تواند.