0
голосов
0
ответов
87 показов
Нормальный Алгорифм Маркова
Пусть есть число N которое представляется в виде *|...||* Где количество палочек это (N + 1) т.е *|* Это ноль.*||* это 1 и.т.дКак реализовать алгорифм ...
0
голосов
0
ответов
91 показ
Разрешимость конечно-аксиоматизируемой теории
@falcao, помогиПочему конечно аксиоматизируемая полная теория в конечной сигнатуре разрешима?Попутно задам ещё три вопроса:1)Вроде как есть доказатель ...
0
голосов
0
ответов
69 показов
Реализовать Машину Тьюринга. УУ начале просматривает пустую ячейку справа от последнего слова.
Реализовать Машину Тьюринга, сделать проверку работы МТ на примере.УУ (курсор) в начале просматривает пустую ячейку справа от последнего слова. Алфави ...
0
голосов
0
ответов
117 показов
Применить алгоритм Глушкова, построить грамматику, найти регулярное выражение языка
Несколько задач по автоматам, прошу помощи:1) Примените алгоритм Глушкова для решения задачи анализа конечного автомата, который задан таблицей перехо ...
0
голосов
0
ответов
75 показов
Доказать что NP' = NP
Определим класс NP'следующим образом: A ∈ NP' тогда и только тогда, когда существует V (x, s), вычислимыйза время poly(|x|), со следующим условием:x ∈ ...
0
голосов
1
ответ
80 показов
Найти число структур соответствующей сигнатуры на универсе из n элементов
Найти число структур соответствующей сигнатуры на универсе из n элементов, в которых истинны следующие предложения: ∀𝑥∀𝑦 [R(x,y) -> P(y)].Правильно ...
0
голосов
0
ответов
240 показов
Перечислимость множества
Докажите, что множество A = {x ∣ ωx либо пусто, либо одноэлементно} не является перечислимым.
0
голосов
0
ответов
221 показ
Разрешимость множества [закрыт]
Пусть множество A ⊆ N разрешимо, а тотальная вычислимая функция f∶N → N строго возрастает, т.е. f(x) < f(y) для всех x < y. Верно ли, что множес ...
0
голосов
0
ответов
229 показов
Перечислимость множества
Докажите перечислимость следующего множества:A = {x ∣ φx принимает значение 1111 хотя бы в двух различных точках}
1
голос
2
ответа
402 показа
Теорема Пенроуза и искусственный интеллект
Задам дилетантский вопрос. Каким образом из теоремы Пенроуза следует невозможность создания ИИ? Пенроуз доказал, что ИИ невозможно реализовать на коне ...
0
голосов
1
ответ
168 показов
Алгоритм Маркова
Всем привет! Кто может помочь составить нормальный алгоритм Маркова для сравнения двух чисел в унарной системе? Машину Тьюринга я сделал, а понять как ...
0
голосов
1
ответ
276 показов
Помогите описать функцию
Рассмотрим частичную функцию $$f(x) = \mu y(1 \dot{-} |g(y) - x| = 0)$$ где $$g(y) = \begin{cases} 3y + 1, \text{если } y \neq 4 \\ \text{не определен ...
0
голосов
0
ответов
211 показов
Доказать, что функция примитивно рекурсивная и определить функцию по данной схеме
Помогите пожалуйста с теорией алгоритмов1 . Доказать, что функция φ (x) = n является примитивно рекурсивной,используя определение ПРФ2 . Определить фу ...
0
голосов
0
ответов
274 показа
Алгоритм сжатия
В одном из алгоритмов сжатия используется следующая процедура разбиения данных на блоки:Первый символ строки образует первый блок.Выбирается наибольши ...
0
голосов
0
ответов
250 показов
Реализовать Машину Тьюринга.
Реализовать Машину Тьюринга, сделать проверку работы МТ на примере.УУ (курсор) в начале просматривает пустую ячейку справа от последнего слова. Алфави ...
211 вопросов
Связанные метки
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.