3.5.2 SFC程序的通用状态