/src/whoosh/automata/