0
голосов
0
ответов
87 показов

Пусть есть число N которое представляется в виде *|...||* Где количество палочек это (N + 1) т.е *|* Это ноль.*||* это 1 и.т.дКак реализовать алгорифм ...
0
голосов
0
ответов
91 показ

@falcao, помогиПочему конечно аксиоматизируемая полная теория в конечной сигнатуре разрешима?Попутно задам ещё три вопроса:1)Вроде как есть доказатель ...
0
голосов
0
ответов
69 показов

Реализовать Машину Тьюринга, сделать проверку работы МТ на примере.УУ (курсор) в начале просматривает пустую ячейку справа от последнего слова. Алфави ...
0
голосов
0
ответов
117 показов

Несколько задач по автоматам, прошу помощи:1) Примените алгоритм Глушкова для решения задачи анализа конечного автомата, который задан таблицей перехо ...
0
голосов
0
ответов
75 показов

Определим класс NP'следующим образом: A ∈ NP' тогда и только тогда, когда существует V (x, s), вычислимыйза время poly(|x|), со следующим условием:x ∈ ...
0
голосов
1
ответ
80 показов

Найти число структур соответствующей сигнатуры на универсе из 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 показов

Реализовать Машину Тьюринга, сделать проверку работы МТ на примере.УУ (курсор) в начале просматривает пустую ячейку справа от последнего слова. Алфави ...
на странице153050
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru