Propriedades Aleatórias de Sistemas Formais