Мне было интересно, как построить машину Тьюринга для
A<B<C<D...<N
, где все числа (A, B, C, D, ..., N) являются положительными двоичными числами.
Вот несколько примеров того, как машина должна работать:
1001 - Принимает, потому что есть только одно число
0 <1 - Принимает </p>
0010 <1000 <0001- Не принимает, потому что 1000! <0001 </p>
0100 <1010 <1010 <1000 - Не принимает, потому что 1010! <1010 </p>
Я пробовал методы, которые работают, чтобы сравнить только двачисла, но я не могу найти способ сравнить несколько (должно работать для бесконечного числа входных) чисел.