Теория вычислительных процессов. Лабораторная работа №1.

ID: 150933
Дата закачки: 24 Февраля 2015
Продавец: zhekaersh (Напишите, если есть вопросы)
Посмотреть другие работы этого продавца

Тип работы: Работа Лабораторная
Форматы файлов: Microsoft Word
Сдано в учебном заведении: СибГУТИ

Описание:
Тема: Формы, свойства и виды стандартных схем программ.
Цель работы: Научиться составлять и исследовать схему программы
Рекомендации по выполнению работы
1. проработать материал лекции 1-5
2. При оформлении выполненного пункта задания не руководствуйтесь пословицей “краткость - сестра таланта”, расписывайте свои аргументы подробнее, делайте ссылки на страницы лекционного материала
Задания
1. Найдите аналитический вид функции, кодирующей слова в алфавите V = {а, b, c} числами, если функция упорядочения К:V-> {1, 2, 3} такова, что К(а) = 1, К(b) = 2, К(с) = 3.
2. Постройте машину Тьюринга, которая стирает с ленты любое начальное слово и записывает вместо него слово aabba в алфавите {а, b}.
3.На рис. 1.4. (лекции 2) даны примеры стандартных схем. Установить, какие из них тотальны, какие пусты, какие пары схем функционально эквивалентны. Укажите свободные схемы.
4. Докажите, что схемы на рисунке 1.11 (лекция 5) эквивалентны.
5. Изобразите схемы операторов: засылки произвольного числа n в счетчик с := n, умножения на число с := с х n и деления на число с := с/n с помощью трех базовых операторов. Используйте не более одного дополнительного счетчика.
6. Покажите, что предикат (с тod n = 0), где n - некоторое число, а (с mod n) - остаток от деления счетчика на n, можно представить через три базовых оператора и один дополнительный счетчик.

Комментарии: Уважаемый слушатель, дистанционного обучения,
Оценена Ваша работа по предмету: Теория вычислительных процессов
Вид работы: Лабораторная работа 1
Оценка:Зачет
Дата оценки: 06.05.2013

Размер файла: 304 Кбайт
Фаил: