These are not only the maps of the next state, but also the D inputs. The map of the output, which is only a function of the state (since this is a Moore model), is shown next.
These are not only the maps of the next state, but also the D inputs. The map of the output, which is only a function of the state (since this is a Moore model), is shown next.