三种编程范式与状态机

procedural programming

functional programming

object-oriented programming

高级 state machine 抽象

例如：旋转栅门

$输入=coin，turn，none$
$输出=enter，pay$
$状态=locked，unlocked$

$$nextState(s,i)=\{\begin{array}{ll}unlocked,& i=coin\\ locked,& i=turn\\ s,& otherwise\end{array}$$

$$output(s,i)=\{\begin{array}{ll}enter,& ifnextState(s,i)=unlocked\\ pay,& otherwise\end{array}$$

• 结点表示状态
• 弧线表示状态转换条件

time	0	1	2	3	4	5	6
state	locked	locked	unlocked	unlocked	locked	locked	unlocked
input	none	coin	none	turn	turn	coin	coin
output	pay	enter	enter	pay	pay	enter	enter