Genera autómatas dot vacíos.