Added distribution module, fixed bug in Automata.minimize (nullpointerexception when dealing with partially defined automata)