formale analyse Synonym