Какие практические задачи решаются с помощью машин Тьюринга в современной информатике?

Некоторые практические задачи, которые решаются с помощью машин Тьюринга в современной информатике:

• Замена символа. inf.tuvsu.ru Например, если на ленте задан массив символов «+», нужно построить машину Тьюринга, которая заменит символ «+» на «-». inf.tuvsu.ru
• Увеличение числа. inf.tuvsu.ru Например, если число записано в двоичной системе счисления, нужно увеличить его на 1. inf.tuvsu.ru
• Вычисление целой части. inf.tuvsu.ru Например, можно построить машину Тьюринга, которая вычисляет целую часть от деления унарного числа на 2. inf.tuvsu.ru
• Нахождение разности чисел. inf.tuvsu.ru Например, если даны два целых положительных числа в десятичной системе счисления, нужно составить алгоритм нахождения разности этих чисел, если известно, что первое число больше второго, а между ними стоит знак «-». inf.tuvsu.ru
• Вычисление остатка от деления. www.matburo.ru Например, можно построить машину Тьюринга, которая вычисляет остаток от деления заданного конструктивного натурального числа на 5. www.matburo.ru