Perché le funzioni di stato successivo e le funzioni di output di una funzione combinatoria di FSM?

Dalla mia comprensione, la logica combinatoria dipende esclusivamente dall'input e la logica sequenziale coinvolge lo stato - la memoria.

Quando si spiega una macchina a stati finiti (FSM), tuttavia, si dice che un FSM ha due funzioni combinatorie. Tuttavia, entrambi sembrano coinvolgere la memoria, in quanto lo stato è uno dei due input della funzione.

C'è qualcosa che non sto afferrando qui?