Definition, synonyms and related words
A finite-state machine whose output values are determined by both its current state and its current inputs.