限状态机（FiniteStateMachine或者FiniteStateAutomata)是软件领域中一种重要的工具，很多东西的模型实际上就是有限状态机。