Allow states to be initial and final states.

[davidkpiano]

It's legal for states to be an initial and a final state, especially in machines with only one state. Right now, the $type only supports either INITIAL or FINAL (among other choices).

[mogsie]

Can initial states be final? Would that be something like this?

<state id="p">
    <final id="q"/>
</state>

[davidkpiano]

It's not very useful, but yeah, I'd imagine initial states can be final states. No reason why not.

[jbeard4]

Both SCXML and Statecharts have special syntaxes for initial states and for final states, and so the $type attribute is a carry-over of that special syntax requirement.

@davidkpiano Can you provide a use case for this? Thank you.