Вопросы с тегом «turing-machines»

В предыдущем вопросе Что такое алгоритм? Я спросил, является ли алгоритм алгоритмом, который возвращает значение функции, основанной на массиве предварительно вычисленных значений. Один из ответов, который привлек мое внимание, был таким: Факторный пример попадает в другую модель вычисления, называемую неравномерным вычислением. Машина Тьюринга является примером унифицированной модели вычислений: она имеет …

9 turing-machines  computation-models 

Булева функция - это функция .е: { 0 , 1 }N→ { 0 , 1 }е:{0,1}N→{0,1}f:\{0,1\}^n\rightarrow\{0,1\} Известно, что логический базис является полным по Тьюрингу, поскольку он позволяет переворачивать любую последовательность или оставлять ее без изменений. То же самое можно сказать о воротах .( ∨ , ∧ )(∨,∧)(\vee,\wedge)s ∈ { 0 …

9 turing-machines  turing-completeness  boolean-algebra 

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

9 turing-machines  context-free  parsers 

Читая этот вопрос « Естественные неразрешимые проблемы 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