Complete the given Moore machine that will properly execute these operations given the datapath described for this lab. Because there are a number of outputs, if you were to fully specify the 0 or 1 value of every output on every arc, or in every state, that would lead to a very busy state diagram. So only specify the control signal (or signals, if there are more than 1) that needs to assert under a given set of conditions. The absence of listing a signal will imply that it is not asserted, i.e., it's 0?