b

$)$

$$Construct a determinate extended state machine modeling ISRA. Assume that:

$$

$$alerted is a variable of type

$\{$

$0$

$,$

$1$

$\}$

$$

$$ uint

$8$

$$t

$,$

there is a pure input A that when present indicates an interrupt request for

ISRA, and

$$

$$display is an output of type char

$*$

$.$