modified:   automaton.py
- split_state implemented (recski)
- memoization is not by defaultdicts any more
- changed probability of string in state a little, now works with more
  than one epsilons in the path, not only at the beginning, let's hope
  so