Jason_sjtu

自动状态机，也称为自动机（Automaton），是理论计算机科学中的一个概念。它是一个抽象的机器模型，可以理解为一种能够根据输入序列和当前状态，进行状态转换并可能产生输出的系统。