|
Скачать Гарантия | |
| Код работы: | 1962 | |
| Дисциплина: | Программирование | |
| Тип: | Контрольная | |
| Вуз: | НГТУ - посмотреть другие работы и дисциплины по этому вузу | |
| Цена: | 390 руб. | |
| Просмотров: | 3685 | |
| Выложена: | 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 | |
|
Скачать эти материалы |
||
| Тема: | Система национальных счетов и основные макроэкономические показатели | Подробнее |
| Тип: | Контрольная | |
| Вуз: | АГАУ | |
| Просмотры: | 1989 | |
| Выложена: | 21 июня 2013г. |
| Тема: | Исследование общественного мнения выпускников ВУЗов города Благовещенска по вопросам трудоустройства | Подробнее |
| Тип: | Курсовая | |
| Вуз: | Амурский государственный университет (АмГУ) | |
| Просмотры: | 119 | |
| Выложена: | 21 июня 2018г. |
| Тема: | Праздники народов Алтая и использование их в туристско-экскурсионнойдеятельности | Подробнее |
| Тип: | Дипломная | |
| Вуз: | АлтГАКИ | |
| Просмотры: | 1241 | |
| Выложена: | 18 сентября 2017г. |
| Тема: | Планирование на предприятии здравоохранения. Условия и факторы эффективного планирования | Подробнее |
| Тип: | Курсовая | |
| Вуз: | АГМУ | |
| Просмотры: | 2161 | |
| Выложена: | 01 июля 2014г. |
| Тема: | Комплексное изучение демографической ситуации в российских регионах (на примере субъекта РФ – Воронежская область) | Подробнее |
| Тип: | Контрольная | |
| Вуз: | РАНХиГС | |
| Просмотры: | 1822 | |
| Выложена: | 17 июня 2016г. |
| Тема: | Характеристика проблем процесса высвобождения персонала организации (предприятия) | Подробнее |
| Тип: | Курсовая | |
| Вуз: | ПТК НГИИ | |
| Просмотры: | 128 | |
| Выложена: | 25 июня 2019г. |
Прекрасный курс, очень прокачал ребе...