A StateMachine can be described as:
A TuringMachine is an example of a StateMachine. So is a FiniteStateMachine.
Can a StateMachine be represented by WikiPage s? For instance would you put
StateOne --(event_type_1 as plain text on the same page)--> StateTwo
or
StateOne --(EventTypeOne)-->
Then have EventOne with a link to StateTwo. But then what if EventTypeOne applies to several States? Thinking here of using a PersonalWiki to model StateMachine s