3.5.1 SFC程序的初始状态