Вопросы с тегом «computability»

Я студент, только начинающий читать о обратимых вычислениях. Я знаю, что по принципу Ландауэра необратимые вычисления рассеивают тепло (а обратимые - нет). Я рассказал об этом своему профессору, который никогда раньше не слышал об обратимых вычислениях, и ему было трудно понять, почему теория обратимых вычислений не является тривиальной. Он просто …

9 computability  reversible-computing 

Мы хотим выложить квадрат m×mm×mm\times m используя два типа плиток: квадрат 1×11×11 \times 1 квадрат 2×22×22 \times 2 , чтобы каждый нижележащий квадрат был покрыт без перекрытия. Определим функцию f(n)f(n)f(n) которая задает размер наибольшего однозначно обрабатываемого квадрата, используя nnn 1×11×11\times 1 -квадрат и любое количество 2×22×22 \times 2 -квадрат. Эта …

9 computability  combinatorics 

Читая этот вопрос « Естественные неразрешимые проблемы RE, но не полные по Тьюрингу », мне пришло в голову следующее: Если - это функция занятого бобра (максимально достижимая оценка среди всех останавливающих 2-символьных машин Тьюринга с n-состояниями описанного выше типа при запуске на чистой ленте), определите функцию:Σ(⋅)Σ(⋅)\Sigma(\cdot) BB(⟨M⟩)={10⟨M⟩ computes Σ(⋅) otherwiseBB(⟨M⟩)={1⟨M⟩ …

9 computability  turing-machines 

Почему вычислимые числа (в смысле Тьюринга) перечислимы? Это должно быть очень очевидно, но я сейчас просто не вижу этого.

9 computability  turing-machines  enumeration 

Является ли машина Тьюринга, которому разрешено чтение и запись символов из бесконечного алфавита, более мощной, чем обычная ТМ (единственное отличие, у машины все еще есть конечное число состояний)? Интуиция говорит мне, что нет, так как вам нужно бесконечное количество состояний, чтобы дифференцировать каждый символ. Поэтому я думаю, что некоторые из …

9 computability  turing-machines  reductions  simulation 

Я хотел бы использовать вашу помощь в решении следующей проблемы: L={⟨M⟩∣L(M) is context-free}L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \} . Покажите, что .L∉RE∪CoREL∉RE∪CoREL \notin RE \cup CoRE Я знаю, что для доказательства достаточно найти язык такой, что и показать, что существует сокращение от до .L ′ L ′ …

9 formal-languages  computability  context-free  turing-machines 

В середине срока был вариант следующего вопроса: Для разрешимого определить Показать, что не обязательно разрешимый.прив ( L ) = { х | ∃ у й рентгеновские у ∈ LLLLPref ( L )Pref ( L ) = { x ∣ ∃ y St X Y∈ L }Pref(L)={x∣∃y s.t. xy∈L}\text{Pref}(L) = \{ …

9 computability  undecidability