Международный женский день
Пасха
День Победы
Выберите Ваш город X

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

Купить Гарантия
Код работы: 1962
Дисциплина: Программирование
Тип: Контрольная
Вуз:НГТУ - посмотреть другие работы и дисциплины по этому вузу
   
Цена: 290 руб.
Просмотров: 7795
Уникальность: В пределах нормы. При необходимости можно повысить оригинальность текста
   
Содержание: Лабораторно-практическая работа №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

Купить эту работу
Гарантия возврата денег

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

Другие готовые работы для скачивания, которые могут Вам подойти

Тема: Проектирование бизнесс процессов оздоровительного комплекса Подробнее
Тип: Курсовая
Вуз: ДВГТУ
Просмотры: 10845
Тема: Мировой рынок ИТ-специалистов+2 вопроса (Метод моделирования процессов IDEF3, Реинжиниринг информационных систем) Подробнее
Тип: Контрольная
Вуз: Алтайский институт финансового управления
Просмотры: 8024
Тема: Совершенствование процессов снабжения в сфере материально –технического обеспечения на примере предприятия ОАО Алтай-Кокс Подробнее
Тип: Дипломная
Вуз: АлтГТУ
Просмотры: 9711
Тема: Исследование социально-экономических и политических процессов / Задания 3,4 Подробнее
Тип: Контрольная
Вуз: ТУСУР
Просмотры: 5301
Тема: Анкетные методы в исследовании социальных процессов Подробнее
Тип: Контрольная
Вуз: РАНХиГС
Просмотры: 5151
Тема: Общенаучные и конкретно-предметные методы исследования процессов Подробнее
Тип: Контрольная
Вуз: АГАУ
Просмотры: 6701

Поиск других готовых работ, выполненных в «ИнПро»


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