Turing machine for $u<v$ with $u$ and $v$ positive binary numbers
So, firstly let's define the input tape.
Let's say it looks like "10101&lt;00101" i.e. "number1&lt; number2" and accepts only if the expression is true. Also, let the head in the start be on the most left meaningful character. The idea of the algorithm is just to scan two numbers from the left (assuming big-endian encoding for the numbers), if noticed that there is 0&lt;1 accept immediately, if 0&lt;0 or 1&lt;1 then continue working, if 1&lt;0 then reject.

So, TM sketch:

alphabet is $\{0,1,*,&lt;\}$ with empty symbol $\epsilon$.

Record the most left bit of the first number
If it is 0 you change you state to something like num1_0 which means number 1 had the leftmost digit 0. Then you go to the right and look for the leftmost digit for the second number. If it is greater than do no accept else move the head to the left most and start from the beginning. Also, when compared two bits just change them to * , so you know where to compare next.

The tape progression looks like this:

101&lt;111

*01&lt;*11

**1&lt;**1

***&lt;***

accept.

Using this simulator I have come up with the following code:

name: Accepting when num1&lt;num2
init: s0
accept: sfin

//main program
s0,0
s1_0,a,&gt;

s0,1
s1_1,a,&gt;

//uncomment this to allow equality
//s0,&lt;
//sfin,&lt;,-

//s1_b means we read the leftmost symbol and it was b
s1_0,0
s1_0,0,&gt;

s1_0,1
s1_0,1,&gt;

s1_0,&lt;
p0,&lt;,&gt;

s1_1,0
s1_1,0,&gt;

s1_1,1
s1_1,1,&gt;

s1_1,&lt;
p1,&lt;,&gt;

//pb means the symbol read from the left number was b and we are looking for the digit from the right number
p0,b
p0,b,&gt;

p1,b
p1,b,&gt;

//COMPARISON LOGIC HERE

//if 0&lt;0 continue exploring
p0,0
goleft,b,&lt;

//if 0&lt;1 immedaitely report yes
p0,1
sfin,b,-

//if 1&lt;1 continue exploring
p1,1
goleft,b,&lt;

//goleft state simply tells to go until reached a to start over
goleft,b
goleft,b,&lt;

goleft,0
goleft,0,&lt;

goleft,1
goleft,1,&lt;

goleft,&lt;
goleft,&lt;,&lt;

goleft,a
s0,a,&gt;  


This accepts only when the input tape has the true expression number1&lt; number2 like 


  100100&lt;100101


and it is limited to compare only the numbers of equal length (easy fix if needed to compare with different length, think about adding zeros to the first number until it matches the length of the second or reject if the length of the first number is greater).