|
Купить Гарантия | |
| Код работы: | 6388 | |
| Дисциплина: | Теория вычислительных процессов | |
| Тип: | Лабораторная работа | |
| Вуз: | иной - посмотреть другие работы и дисциплины по этому вузу | |
| Цена: | ||
| Просмотров: | 5869 | |
| Уникальность: | В пределах нормы. При необходимости можно повысить оригинальность текста |
|
| Содержание: |
Содержание Лабораторно-практическая работа №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 | |
|
Купить эту работу Гарантия возврата денег |
||
Другие готовые работы для скачивания, которые могут Вам подойти
| Тема: | Имитационное моделирование экономических процессов | Подробнее |
| Тип: | Иное | |
| Вуз: | КФУ | |
| Просмотры: | 6212 | |
| Тема: | Методы прогнозирование и их применение для реальных процессов различных объектов исследования | Подробнее |
| Тип: | Контрольная | |
| Вуз: | СпбИЭиП | |
| Просмотры: | 4992 | |
| Тема: | Анализ процессов создания и управления собственным предприятием в сфере туризма | Подробнее |
| Тип: | Дипломная работа + доклад / презентация на защиту | |
| Вуз: | РМАТ | |
| Просмотры: | 9093 | |
| Тема: | Решение задачи поиска кратчайшего пути в сети с помощью табличных процессов. | Подробнее |
| Тип: | Курсовая | |
| Вуз: | РАНХиГС | |
| Просмотры: | 8082 | |
| Тема: | Разработка экспертной системы оценки рисков для процессов кредитования | Подробнее |
| Тип: | Дипломная | |
| Вуз: | Неизвестен | |
| Просмотры: | 8141 | |
| Тема: | ИССЛЕДОВАНИЕ ГРУППЫ ПРОЦЕССОВ ПЛАНИРОВАНИЯ ПРОЕКТА (НА ПРИМЕРЕ ПУБЛИЧНОГО АКЦИОНЕРНОГО ОБЩЕСТВА ЧЕЛЯБИНСКИЙ ЧАСОВОЙ ЗАВОД «МОЛНИЯ») | Подробнее |
| Тип: | Часть дипломной | |
| Вуз: | Финансовый университет при Правительстве Российской Федерации (ВЗФЭИ) | |
| Просмотры: | 4748 | |
Поиск других готовых работ, выполненных в «ИнПро»
