IF A'EVENT AND A='1'THEN是什么意思?BEGINIF A'EVENT AND A='1'THENCASE NEXT_STATE IS WHEN S0 =>NEXT_STATENEXT_STATE NEXT_STATE NEXT_STATENEXT_STATE