26 вопросов к экзамену по теории вычислительных процессов, СЗТУ. Семантическая теория программ. Основные направления исследований теоретического программир

ВОПРОСЫ К ЭКЗАМЕНУ по теории вычислительных процессов, СЗТУ
1. Семантическая теория программ
2. Основные направления исследований теоретического программирования
3. Понятие схемы программ
4. Схемы программ
5. Стандартные схемы программ
6. Графовая, линейная формы схемы программ
7. Интерпретация стандартных схем
8. Протокол выполнения программы
9. Главные свойства стандартных схем
10. Рекурсивные схемы
11. Трансляция схем программ
12. Линейные унарные рекурсивные схемы
13. Схемы с процедурами
14. Сети Петри. Основные определения
15. Граф сети Петри, маркировка, выполнение сети, множество достижимости
16. Сети Петри для моделирования
17. Особенности сетей Петри
18. Анализ сетей Петри
19. Задачи анализа сетей Петри: безопасность, ограниченность, сохранение
20. Задачи анализа сетей Петри: активность, достижимость и покрываемость
21. Принципы построения: неформальное и формальное определение сетей Петри
22. Способы представления сетей Петри и описание их подклассов
23. Алгоритмы поведения: дерево достижимости и анализ структурной ограниченности, сохраняемости, повторяемости сетей Петри
24. Избыточные сети Петри и инварианты сетей Петри
25. Способы реализации и области применения: моделирование систем на основе сетей Петри и расширения сетей Петри
26. Принципы и способы технической реализации моделей процессов и структур