Я работаю над соответствующей проблемой разрешимости / распознаваемости, и для ее решения мне нужно разъяснить кодирование / представление машины Тьюринга.
Я знаю, что машина Тьюринга формально определяется как 7-кортеж. Если у меня есть машина Тьюринга U и другая машина Тьюринга M, легко ли спроектировать U для распознавания некоторой части M (такой как алфавит M, символы ввода, набор принимающих состояний , так далее)?
Часть меня думает, что, поскольку это конечные множества, считать их тривиально, но часть меня задается вопросом, можете ли вы просто перечислить некоторую часть определения M без возможности зацикливания на бесконечность.