algorithm for space analysis的用法和樣例：
例句
- In the experiment, this paper re-ranks the results of the full text search using the website level link analysis algorithm.
本文在實驗中依照站內層次鏈接分析演算法計算出頁面的重要性重新排序文本查詢的結果以提高查詢質量。 - For most safety properties and some liveness properties, model checking can be reduced to reachability analysis.
實時系統的絕大多數安全性和部分活性可以通過可達性分析演算法來驗證。
