Алгоритмы, дискретная математика и пр.'s Journal (original) (raw)

Теория (вопрос)

Не могу найти внятных текстов по следующим темам (из экзаменационного стандарта).

1)Понятие схемы программ. Теоремы о неразрешимости свойств пустоты, эквивалентности, тотальности и свободы стандартных схем.

2)Алгоритмы распознавания логико-термальной эквивалентности стандартных схем. Представление о сетях Петри для анализа свойств параллельных программ. Проблема достижимости.

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

Буду очень благодарен за интернет-ссылки, пояснения и рекомендации.