Теория следов - Trace theory
В математика и Информатика, теория следов стремится предоставить конкретную математическую основу для изучения параллельное вычисление и технологические расчеты. Основа обеспечивается алгебраический определение свободный частично коммутативный моноид или след моноид, или, что то же самое, история моноид, который обеспечивает конкретную алгебраическую основу, аналогично тому, как свободный моноид обеспечивает основу для формальные языки.
Сила теории следов проистекает из того факта, что алгебра графы зависимостей (такие как Сети Петри ) является изоморфный к моноидам следов, и, таким образом, можно применить как алгебраические формальный язык инструменты, а также инструменты из теория графов.
Хотя следовой моноид изучался Пьер Картье и Доминик Фоата для своего комбинаторика в 1960-х годах теория следов была впервые сформулирована Антони Мазуркевич в 1970-е годы, пытаясь обойти некоторые проблемы теории параллельных вычислений, включая проблемы перемежения и недетерминированного выбора в отношении уточнения в процессных вычислениях.
использованная литература
- Фолькер Дикерт, Гжегож Розенберг, ред. Книга следов, (1995) World Scientific, Сингапур ISBN 981-02-2058-8
- Фолькер Дикерт, Ив Метивье "Частичная коммутация и следы », У Г. Розенберга и А. Саломаа, редакторы, Справочник формальных языков, Vol. 3, За словами. Springer-Verlag, Берлин, 1997.
- Фолькер Дикерт, Комбинаторика по следам, LNCS 454, Спрингер, 1990 г., ISBN 3-540-53031-2
 | Эта формальные методы -связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |