On 12 Aug., 20:05, Adrian Thurston <thurs... at cs.queensu.ca> wrote: > Note that the ">" operators isolate the start state on purpose, causing > the start state not to have any back edges. Now I understand. But then: why are epsilon transitions to start states allowed at all? And is there any usefulness in the >to(action)?