Behaviour, reduction and minimization of finite :G6-automata