name automata category Package