Entsprechend dem bisherigen Theoriekonzept ist es wichtig, die möglichen Daten, die aus dem Wirklichkeitsausschnitt mittels Messungen ausgewählt werden, in ein geeignetes formales Modell zu übersetzen (vgl. Bild 4.3). Idealerweise ist dieses formale Modell so beschaffen, dass es eine Berechnung auf einem Computer (Instanz einer Turingmaschine) zulässt.