例えばチューリング機械は始めに入力を入れたら出力は常に同じだよね
これも参照透明性は保たれてることになるの？