French to English Tech/Engineering Computers: Software calculateur de contrôle

Hi,

"Etant donné un programme et les transitions qu’il décrit, ou étant donné une spécification/description formelle et les transitions qu’elle décrit, on se donne donc les moyens d’exprimer la possibilité de restreindre la sémantique de certaines des transitions, opérations, commandes ou programmes, pour les ramener à des transitions qui nous conviennent mieux (parce qu’elles utilisent certaines primitives ou parties bien comprises ou bien outillées, ou pour toute autre raison). "

hmm "bring them back to"?
Thank you