modified:   exp/exp.py
- changed automaton names to not contain state_bits