Modelado de autómatas de dimensiones superiores sistemas de variables compartidas