Det er nå mulig å definere hvordan er turingmaskin beregner som en relasjon , hvor og er konfigurasjoner. Inuitivt betyr at hvis en tilstandsmaskin står i tilstanden , så kan den i ett steg gå til tilstanden .