可達性樹是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。
基本介紹
- 中文名：可達性樹
- 外文名：reachability tree
- 所屬學科： 計算機科學技術
- 公布年度 ：2018年
- 審定機構：全國科學技術名詞審定委員會
定義,出處,公布時間,
定義
若把無界佩特里網的可覆蓋性樹的構造算法套用於有界佩特里網Σ,所得到的樹結構中的各個結點的標註中不會出現無界量符號 ω ，而且Σ的每個可達標識都會出現在樹的某個結點標註中，這個樹結構就稱為Σ的可達性樹。
出處
《計算機科學技術名詞 》第三版。
公布時間
2018年，經全國科學技術名詞審定委員會審定發布。
