Why are next-state function and output functions of an FSM combinational functions?

Question

From my understanding, combinational logic is dependent solely on input, and sequential logic involves state--memory.

When explaining a finite state machine (FSM), however, it is said that an FSM has two combinational functions. However, they both seem to involve memory, in that state is one of two inputs to the function.

Is there something that I am not grasping here?

Answer 1

Combinational logic can (and frequently does) receive the output of memory on its inputs, or have its outputs stored in memory. It just doesn't have memory within itself.