Реальная база готовых
студенческих работ

Авторам Вопрос-ответ

Узнайте стоимость индивидуальной работы!

Тип задания

Предмет

Ваше имя

Вы нашли то, что искали?

Да, спасибо!

Нет, пока не нашел

Узнайте стоимость индивидуальной работы

Тип задания

Предмет

Ваше имя

это быстро и бесплатно

Оформите заказ сейчас и получите скидку 100 руб.!

Тип задания

Предмет

Ваше имя

Доказательство примитивной рекурсивности функции и её вычисление.

Тип Лабораторная

Предмет Математическая логика и теория алгоритмов

ID (номер) заказа
2600608

Просмотров

650

Размер файла

9.35 Мб

Ознакомительный фрагмент работы:

Комплексная лабораторная работа
Вариант №5
Задание 1. Доказательство примитивной рекурсивности функции и её вычисление.
Написать рекурсивную и не рекурсивную программу вычисления значения функции f, полученной оператором примитивной рекурсии R над функциями g и h. Доказать, что функция примитивно-рекурсивна.
g(x, y) = y+xh (x, y, z, t) = t(x+y)
По определению оператора примитивной рекурсии:
f(x,y,0)=y+xf(x,y,z+1)=f(x,y,z)(x+y)
Доказательство ПРФ: Функция f является ПРФ, т.к. построена из примитивно-рекурсивных функций с помощью оператора примитивной рекурсии. Функция сложения и произведения являются примитивно-рекурсивными.
Напишем рекурсивную и не рекурсивную функцию:
#include "pch.h"
#include <iostream>
#include <cstdio>
int f_rec(int x, int y, int z)
{
if (z == 0) return y + x;
return f_rec(x, y, z-1)*(x + y);
}
int f_norec(int x, int y, int z)
{
int f = x + y;
for (int i = 0; i < z; i++)
{
f = f * (x + y);
}
return f;
}
int main()
{
printf( "Rec: %x \n" , f_rec(1,2,3));
printf( "Norec: %x \n" , f_norec(1, 2, 3 ));
}
Результат выполнения:

Задание 2. Построить машину Тьюринга
На ленте записана цепочка, состоящая из 0 и 1. Если она начинается с 0, то стереть цепочку и вывести f, иначе все символы заменить на символ *.
Вход МТ: 011101
Выход МТ: f
Решение:

Состояния:
Q1 – ветвление по первому символу
Q2 – стираем все символы, в конце пишем f и выходим
Q3 – меняем 0 и 1 на *
Q4 – возвращаемся в начало цепочки символов и выходим
Использован эмулятор: http://kpolyakov.spb.ru/prog/turing.htm
Задание 3. Построить алгоритм Маркова, вычисляющий функцию. Значения аргументов задаются в унарном коде через разделитель.
Y(X,Y)=2*X/3+1

Результат выполнения: 11111
Проверка: x=6, y=2 Y(6,2)=2*6/3+1=12/3+1=4+1=5
Использован эмулятор: http://kpolyakov.spb.ru/prog/nma.htmЗадание 4. Оценка сложности алгоритма, построение эффективных алгоритмов
Написать рекурсивную и не рекурсивную программу для задачи по варианту. Оценить класс сложности алгоритмов.
Написать программу, которая проверяет, есть ли число X в упорядоченном массиве из N чисел.
Пример:
Массив [1, 5, 6, 15, 20, 56, 60, 71, 100]
Число X = 15
Функция поиска возвращает True.
Код программы:
#include "pch.h"
#include <iostream>
#include <cstdio>
// функция с алгоритмом двоичного поиска
bool Rec_poisk(int arr[], int left, int right, int key)
{
intmidd = (left + right) / 2;
if (key == arr[midd]) // если искомое равно элементу в массиве
{
return true; // возвращаем true
}
if (midd == right || midd == left) // если границы сомкнулись
{
return false;
}
if (key < arr[midd]) // если искомое меньше значения в ячейке
{
returnRec_poisk(arr, left, midd, key); // смещаем правую границу поиска, вызываем рекурсивную функцию поиска
}
else if (key > arr[midd]) // если искомое больше значения в ячейке
{
returnRec_poisk(arr, midd, right, key); // смещаем левую границу поиска, вызываем рекурсивн...

Нет нужной работы в каталоге?

Сделайте индивидуальный заказ на нашем сервисе. Там эксперты помогают с учебой без посредников Разместите задание – сайт бесплатно отправит его исполнителя, и они предложат цены.

Вы работаете с экспертами напрямую. Поэтому стоимость работ приятно вас удивит

Исполнитель внесет нужные правки в работу по вашему требованию без доплат. Корректировки в максимально короткие сроки

Если работа вас не устроит – мы вернем 100% суммы заказа

Наши менеджеры всегда на связи и оперативно решат любую проблему

К работе допускаются только проверенные специалисты с высшим образованием. Проверяем диплом на оценки «хорошо» и «отлично»

1 000 +

Новых работ ежедневно

Требуются доработки?
Они включены в стоимость работы

Работы выполняют эксперты в своём деле. Они ценят свою репутацию, поэтому результат выполненной работы гарантирован

Математика

История

Экономика

159599
рейтинг

3275
работ сдано

1404
отзывов

Математика

Физика

История

156804
рейтинг

6076
работ сдано

2739
отзывов

Химия

Экономика

Биология

105734
рейтинг

2110
работ сдано

1318
отзывов

Высшая математика

Информатика

Геодезия

62710
рейтинг

1046
работ сдано

598
отзывов

Тип работы

ИвГУ

Спасибо, Анатолий! За помощь! ответственное отношение к работе и профессионализм!

Финансовый университет при правительстве РФ

Работа сделала в лучшем виде. Хорошая, приемлемая цена. Спасибо исполнителю!

ВИВТ

Советую этого исполнителя!! Несколько раз мне помог и всегда вовремя и всё чётко без замеч...

Последние размещённые задания

Ежедневно эксперты готовы работать над 1000 заданиями. Контролируйте процесс написания работы в режиме онлайн

Тема: Развитие лёгкой атлетики в России

Диплом, Физическая культура

Срок сдачи к 5 мар.

1 минуту назад

Теория вероятностей 9 класс , тесты

Решение задач, Теория вероятностей и математическая статистика

Срок сдачи к 23 февр.

3 минуты назад

Задачи по химии 9 класс

Решение задач, Химия

Срок сдачи к 23 февр.

4 минуты назад

нужно сделать 5 лабораторных

Лабораторная, Электротехника

Срок сдачи к 27 февр.

7 минут назад

Физика 9 класс тесты

Решение задач, Физика

Срок сдачи к 23 февр.

7 минут назад

Решить задачи по примеру

Решение задач, Метрология и стандартизация

Срок сдачи к 22 февр.

8 минут назад

Написать индивидуальное сообщение на тему: средние века

Другое, Мировая Отечественная художественная культура

Срок сдачи к 23 февр.

8 минут назад

Отчёт полный факторный эксперимент первого порядка пфэ

Другое, Методология, электротехника

Срок сдачи к 23 февр.

9 минут назад

Выполнить курс "Начертательная геометрия и инженерная графика 2.2". М-08603

Контрольная, Начертательная геометрия и инженерная графика

Срок сдачи к 21 мар.

11 минут назад

Конфигурирование и настройка аппаратно-программных офисных...

Курсовая, МДК, информатика, электротехника

Срок сдачи к 24 февр.

11 минут назад

Отчёт по практике

Отчет по практике, Туризм

Срок сдачи к 24 февр.

11 минут назад

Организация местного самоуправления( на примере своего поселения, муниципального района, городского округа)

Реферат, Муниципальное управление и местное самоуправление

Срок сдачи к 12 мар.

11 минут назад

Написать курсовую

Курсовая, Таможенное дело

Срок сдачи к 25 мая

11 минут назад

решение задач № 8, 9, 10

Решение задач, Методы принятия решений, менеджмент

Срок сдачи к 25 февр.

11 минут назад

Презентация на 18 слайдов

Презентация, Стратегический менеджмент и управление проектами в государственном управлении

Срок сдачи к 3 апр.

11 минут назад

И. В. Витте, Выбрать тему, сделать задание по рекомендациям

Курсовая, Гражданское право

Срок сдачи к 15 мая

11 минут назад

Дипломная работа на тему «Методика применения компьютерных обучающих программ на уроках английского языка»

Диплом, Педагогика и Английский язык

Срок сдачи к 13 апр.

11 минут назад

Решить задачи по примеру

Решение задач, Метрология и стандартизация

Срок сдачи к 22 февр.

11 минут назад

Закажи индивидуальную работу за 1 минуту!

Размещенные на сайт контрольные, курсовые и иные категории работ (далее — Работы) и их содержимое предназначены исключительно для ознакомления, без целей коммерческого использования. Все права в отношении Работ и их содержимого принадлежат их законным правообладателям. Любое их использование возможно лишь с согласия законных правообладателей. Администрация сайта не несет ответственности за возможный вред и/или убытки, возникшие в связи с использованием Работ и их содержимого.