análisis formal Synonym