Экзаменационные вопросы по дисциплине «ТЕОРИЯ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ И СТРУКТУР»

1. Программы и схемы программ. Стандартные схемы программ, базис класса ССП
2. Графовая форма представления ССП
3. Линейная форма представления ССП
4. Эквивалентность, пустота, тотальность, свобода схем программ
5. Моделирование схем программ, одноленточные автоматы
6. Моделирование схем программ, многоленточные автоматы
7. Моделирование схем программ, двухголовочные автоматы
8. Моделирование схем программ, двоичный двухголовочный автомат
9. Рекурсивные схемы
10. Обогащенные схемы

11. Структурированные схемы
12. Трансляция обогащенных схем
13. Операционная семантика
14. Аксиоматическая семантика
15. Денотационная семантика
16. Декларативная семантика
17. Верификация программ
18. Синхронизация параллельных процессов на низком уровне. Параллельная обработка. Проблемы критических участков. Взаимоисключения.
19. Блокировка памяти
20. Аппаратная реализация взаимоисключения: команда “проверка и установка” (testandset)
21. Семафоры, двоичные семафоры, мьютексы
22. Синхронизация параллельных процессов на высоком уровне, мониторы
23. Почтовые ящики
24. Конвейеры (программные каналы), очереди сообщений
25. Тупики, повторно используемые и потребляемые ресурсы
26. Примеры тупиков на повторно используемые ресурсах, примеры тупиков на потребляемых ресурсах
27. Необходимые условия возникновения тупиков
28. Модели вычислительных процессов для изучения проблемы тупиков: модель Холта
29. Модели вычислительных процессов для изучения проблемы тупиков: модель пространства состояний
30. Модели вычислительных процессов для изучения проблемы тупиков: вычислительные схемы
31. Теоретико-множественное определение сетей Петри, графовое определение сетей Петри
32. Маркировка сетей Петри, правила выполнения сетей Петри
33. Моделирование сетей Петри
34. Анализ сетей Петри
35. Методы борьбы с тупиками