


in state <name> => change reader state
  allow enter from <state>
| allow leave to <state>
  on enter execute <name>
  on leave execute <name>
  on enter from <state> execute <name>
  on enter from <state> change <machine> to <state>
  on leave to <state> change <machine> to <state>
