Введение в теорию взаимодействующих последовательных процессов (CSP), часть 2 / Комментарии / Хабр

lightcaster 2 мар 2012 в 17:53

Интересно. Но есть чувство, что это те же автоматы и грамматики, только под другим углом. Для последних есть сильная формальная база. Интересно, почему автор книги стал вводить свою алгебру.

newpavlov 2 мар 2012 в 18:17

Как и обычно в математике бывает что в разных областях возникают похожие конструкции и рассуждения, но тем не менее у каждой теории есть свои несколько различающиеся инструменты и задачи, которая она стремится решить. Насчёт же вашего вопроса приведу слова самого автора из последней главы книги:

Главной задачей моих исследований взаимодействующих процессов было найти наиболее простую математическую теорию, которая бы отвечала следующим свойствам:
1. Она должна описывать широкий набор интересных приложений вычислительной техники: начиная с торговых автоматов, продолжая контролем процессов и дискретным моделированием событий, и заканчивая операционными системами с общими ресурсами.
2. Она должна способна эффективно реализовать в себе различные традиционные и новые компьютерные архитектуры, начиная с компьютеров с разделением времени, продолжая микропроцессорами, и заканчивая сетями сообщающихся микропроцессоров.
3. Она должна предоставлять программисту удобные инструменты в таких задачах как спецификация, архитектуре, реализации, верификации и валидации сложных вычислительных систем.

Надеюсь данная цитата ответила на ваш вопрос.