Basic FSMs