The state definitions are placed inside the
%map TaskFSM %% ... %% delimiter:
Like all C-syntax languages, the opening, closing braces are not needed if there is only one expression inside the braces. But like all C-syntax languagees, it is good practice to always use them. If you don't follow this rule now, you will after you spend two days tracking down a bug due entirely to you not following this rule.
Notice the ellipsis before the closing
There is one more state to define even though the
diagram's six states are declared. There is an implicit
state. Remember how the
Delete transitions have no start state?