Generalized presentations of groups, in particular of $Aut(F_\omega)$