finite-state machineWiktionary 原文释义（英文）名词 Noun(computing theory) A formalism for describing computation, consisting of a finite set of states and a transition function describing when to move from one state to another.