Курсовая работа по дисциплине "Теория вычислительных процессов". Вариант 2.

Краткая теория по теме курсовой работы
1. ССП и результаты ее исследования:
1.1. Графовая форма стандартной схемы
1.2. Линейная форма стандартной схемы.
1.3. Исследоваие ССП.
2. Программная реализация.
3. Построение и исследование инвариантов и ограничений циклов.
3.1. Построение цикла с помощью инварианта.
3.2. Исследование инвариантов и ограничений цикла.
4. Схема программы в виде сети Петри. Анализ ее свойств на основе дерева достижимости.
4.1. Схема программы в виде сети Петри.
4.2. Дерево достижимости.
4.3. Анализ свойств сетей Петри на основе дерева достижимости.
Заключение.
Список используемой литературы.
Тема курсовой работы:
В заданном предложении найти пару слов, из которых одно является обращением другого.

1. Написать программу решения задачи, номер которой совпадает с Вашими двумя последними цифрами пароля (использовать язык СИ или Паскаль).
2. Составить и исследовать ССП в линейной и графовой формах.
3. Построить и исследовать инварианты и ограничения цикла(ов).
4. Составить схему программы в виде сети Петри и осуществить анализ ее свойств на основе дерева достижимости.

Сдано - 2011 г
без замечаний