Give a more formal definition of the automata we consider and clarify how state-based acceptance and transition-based acceptance mix (#5)
Merge pull request #5 from adl/state-based

State-based versus transition-based acceptance