目錄
- 1 什么是追蹤理論
什么是追蹤理論
編輯在數學和計算機科學中，追蹤理論旨在為并發計算和過程計算的研究提供一個具體的數學基礎。這個基礎是由自由部分交換單體或軌跡單體的代數定義提供的，或者說，歷史單體，它提供了一個具體的代數基礎，類似于自由單體為形式語言提供基礎的方式。痕量理論的力量源于這樣一個事實：依賴圖（如Petri網）的代數與痕量單體的代數同構，因此，人們可以同時應用代數形式語言工具和圖論的工具。
雖然痕量單體在20世紀60年代已經被PierreCartier和DominiqueFoata研究過它的組合學，但痕量理論是由AntoniMazurkiewicz在20世紀70年代首次提出的，試圖回避并發計算理論中的一些問題，包括交織和非確定性選擇與過程計算的細化問題。
內容由匿名用戶提供，本內容不代表www.gelinmeiz.com立場，內容投訴舉報請聯系www.gelinmeiz.com客服。如若轉載，請注明出處：http://www.gelinmeiz.com/164171/