Before revision: In automata theory, sequential logic is a type of logic circuit those output depends on the present value of its input signals and on the sequence of past inputs, the input history.
After revision: In automata theory, sequential logic is a type of logic circuit whose output depends on the present value of its input signals and on the sequence of past inputs, the input history.