Simple FSM 2 (asynchronous reset)

This is a Moore machine with two states (OFF and ON), two inputs (j and k), and one output out.

Current state	inputs	next state
OFF	j = 0	OFF
OFF	j = 1	ON
ON	k = 0	ON
ON	k = 1	OFF

While in OFF, only j matters (k is ignored); while in ON, only k matters (j is ignored). The output is a function of state only: out = 1 in state ON, out = 0 in state OFF.

The active-high areset input is asynchronous and resets the machine into state OFF.