add an introduction
Splat out the very minimalist example of constructFiniteStateMachine that I can think of.
Fix several markup issues.