From the lecture on HoMonit, assume that a SmartApp subscribes to two capabilities:

an attribute motion for capability Motion Sensor and a command on$()$ for capability

Switch. The working logic of a SmartApp is presented as the following DFA:

motion.active corresponds to packet sequence $(54$uarr $)$ and switch.on corresponds to

packet sequence $(50$darr,$47$darr,$47$darr,$52$darr $).$ If the events corresponding to motion. active and

switch.on are detected in a sequence, the DFA will transition from the start state to the

accept state, otherwise to the deny state.

For the following packet sequence, write the output of HoMonit $($as accept or deny$)$ with the

state transitions on the DFA.

$($i$)54$uarr,$50$darr,$47$darr,$47$darr,$52$darr,$54$uarr,$50$darr,$47$darr,$47$darr,$52$darr

$($ii$)54$uarr,$54$darr,$50$darr,$47$darr,$47$darr,$52$darr,$50$darr,$47$darr,$47$darr,$52$darr

$($iil$)50$darr,$47$darr,$47$darr,$52$darr,$54$uarr,$50$darr,$47$darr,$47$darr,$52$darr