removed automata code

The automata part of the library is moved to a separate package.