However, the results need to be in a formalized form so far that they can be the basis of a computer program.
Dabei müssen die Ergebnisse jedoch in einer so weit formalisierten Form vorliegen, dass sie Grundlage eines Computerprogramms sein können.