Машина Тьюринга без требование конечности

[Just_Monika]

У меня есть следующий вопрос: Что произойдет с классом всех разрешимых языков $R$ (как он будет выглядеть в таком случае), если в определении машины Тьюринга убрать требование к конечности множества состояний $Q$? И аналогичный вопрос, что будет если убрать требование конечности в случае $\Sigma$ или $\Gamma$?

[Lia]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
по следующим причинам:


- отсутствуют собственные содержательные попытки решения задач(и).

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.