Реферат по дисциплине «Теория вычислительных процессов и структур»

Необходимо выполнить одну работу на выбор

1.Теоретические модели вычислительных процессов.

Формальные модели вычислительных процессов. Модель конечного автомата.

2. Классификация формальных моделей вычислительных процессов. Стратегии управления вычислительными процессами.

Построение модели распознающего автомата по заданной автоматной грамматике.

Программная  реализация  распознающего автомата.

3.Формальные грамматики и языки. Автоматные модели процессов распознавания языков и управления последовательными процессами.

Задача минимизации автомата. Алгоритм Мили. Задача распараллеливания вычислительного  алгоритма.

4.Моделирование параллельного алгоритма и параллельного процесса. Задача распараллеливания алгоритма.

Моделирование параллельного алгоритма cетью Петри.

Ознакомление с прикладной программой Petri

5.Сети Петри. Моделирование параллельного алгоритма сетью Петри. Свойства сетей Петри.

Моделирование многопоточного вычислительного процесса сетью Петри.

Моделирование протоколов информационного обмена сетью Петри.

6.Расширенные модели сетей Петри. Моделирование протоколов информационного обмена с помощью сетей Петри.

Стандартные схемы программ. Задачи исследования свойств схемы программ. Аксиоматическая семантика программ.

7.Стандартные и рекурсивные схемы программ. Свойства схем программ. Спецификация реактивной программной системы на языке темпоральной логики. Модель Крипке. Верификация реактивной программной системы.

8. Задачи, решаемые на схемах программ.

Методы верификации программ. Языки формальной спецификации.