Магазин готовых работ » Программирование

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

 
Не нашли подходящей работы? Закажите её у нас »        Вы также можете: Вернуться к рубрикатору дисциплин »
 
 

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

Тема:	Социометрия как метод исследования социально-экономических и политических процессов.	Подробнее
Тип:	Курсовая
ВУЗ:	РАНХиГС
Просмотры:	804
Выложена:	21 июня 2013г.

Тема:	информационные системы в управленнии процессов маркетинга	Подробнее
Тип:	Курсовая
ВУЗ:	СГА
Просмотры:	1204
Выложена:	17 июня 2010г.

Тема:	Анализ процессов возникновения деловых конфликтов и управление из разрешением на примере Алтайского краевого психоневрологического диспансера для детей	Подробнее
Тип:	Курсовая
ВУЗ:	Алтайский институт финансового управления
Просмотры:	309
Выложена:	24 июня 2015г.

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

Поиск

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