modified:   automaton.py
- different stopping condition while computing generated language