filipg/amu_automata_2011 — pull request #242 by katarzyna (2011-11-09 00:07:55+00:00)
Title: poprawienie makeAllNonEmptyStringsAutomaton (#139)

poprawienie przejść w metodzie makeAllNonEmptyStringsAutomaton w klasie AutomatonSpecification

- usunięcie niepotrzebnego przejścia
- wrzucenie przejścia z s0 do s1 do pętli