Выберите Ваш город X

Теория вычислительных процессов

Скачать Гарантия
Код работы: 1962
Дисциплина: Программирование
Тип: Контрольная
Вуз:НГТУ - посмотреть другие работы и дисциплины по этому вузу
   
Цена: 290 руб.
Просмотров: 3626
Выложена: 23 июня 2011г.
   
Содержание: Лабораторно-практическая работа №1. Формы, свойства и виды стандартных схем программы. 3
Лабораторно-практическая работа №2. Семантическая теория программ 8
Лабораторно-практическая работа №3. Процессы. Параллельные процессы. Последовательные процессы 12
Лабораторная работа №4. Сети Петри. Основные определения. Моделирование систем на основе сетей Петри. 16
   
Отрывок: Лабораторно-практическая работа №1. Формы, свойства и виды стандартных схем программы.
Задание:
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, можно представить через три базовых оператора и один дополнительный счетчик.
Лабораторно-практическая работа №2. Семантическая теория программ
1. Функции: F(n), G(n) определены с помощью операционной семантики равенствами:
F(0)=I, G(0)=2, F(n)=G(n-I), G(n)=F(n-l) + G(n-I).
Найти значения F(3) и G(3).
2. Формальные языки Е и Т определены над алфавитом {а, *, &, } с помощью денотационной семантики равенствами
Е = Т U * Т U Е & Т и Т= а U а* U .
Какие из следующих строк *а&*а*&а*; *а&; *&* принадлежат языку Е и какие не принадлежат.
3. Написать программу, используя аксиоматическую стратегию построения и проверки цикла. Дан массив B[0:n-1], n > 0. Присвоить переменной х наименьшее значение из B. Если наименьшее значение встречается в B более одного раза, выбрать любой из них.
Предусловие Q: n >0;
Постусловие R: x

Скачать эти материалы

 
Не нашли подходящих материалов? Обратитесь к нам – наши тьюторы Вам помогут. Отправьте заявку прямо сейчас.
 
Вернуться к рубрикатору дисциплин »
 

Отзывы клиентов о качествеуслуг наших тьюторов

10 января 2024г.
Андрей
4.9
25 мая 2023г.
Финк Анна Анатольевна
4.9
07 марта 2023г.
Мария Михайловна Земскова
4.9

Возможно Вас также заинтересуют другие материалы:

Тема: Деятельность адвоката в суде первой инстанции Подробнее
Тип: Контрольная
Вуз: АГУ
Просмотры: 1637
Выложена: 06 июля 2015г.
Тема: Динамика уровня развития познавательных процессов у детей в период их предшкольной подготовки Подробнее
Тип: Дипломная
Вуз: АлтГПА
Просмотры: 67
Выложена: 07 августа 2018г.
Тема: Разработка целей и содержания управления таможенной деятельностью Подробнее
Тип: Курсовая
Вуз: ОмГТУ
Просмотры: 48
Выложена: 28 августа 2018г.
Тема: Вариант 16 Подробнее
Тип: Курсовая
Вуз: АГМУ
Просмотры: 1771
Выложена: 25 июня 2015г.
Тема: Кредитная политика банка. Оформление и учет операций по кредитованию юридических лиц Подробнее
Тип: Курсовая
Вуз: Неизвестен
Просмотры: 1988
Выложена: 05 июля 2016г.
Тема: Накопительное страхование жизни, пенсионное страхование Подробнее
Тип: Контрольная
Вуз: АлтГТУ
Просмотры: 2255
Выложена: 01 июля 2014г.

Поиск других материалов, подготовленных тьюторами «ИнПро»® для студенческих работ


Не смогли найти нужный материал? Вы можете отправить заявку или обратиться к услугам тьюторов
 
Вы также можете: Вернуться к рубрикатору дисциплин »
 
 

Запомнить сайт

Обязательное поле
Обязательное поле
Обязательное поле

Отправьте заявку на наши услуги

Отправка запроса ни к чему не обязывает, это бесплатно. Будем рады помочь!

Отправляя заявку, Вы соглашаетесь на обработку персональных данных.
До окончания скидки Скидка 10%
Подать заявку бесплатно