> We're allowed to use symbolic notation in our state transition diagrams, > aren't we? Pardon the poor notation... Surely! Of course, you must then give up data-driven control flow if you are to accurately capture the transitions in a transition diagram. The resulting machine cannot do conditional branches... shap