- 遞歸函數(shù)
下載手機詞典可隨時隨地查詞查翻譯
cfrf中文什么意思
例句與用法
- Lfc is a formal specification language based on recursive functions defined on context free languages ( cfrf ) and supports the acquisition and validation of formal specification very well
同時lfc也是一種函數(shù)式語言，具有良好的數(shù)學(xué)基礎(chǔ)、引用透明、無副作用、模式匹配等特點。 - According to the characteristic of cfrf , we develop the calculation method of postfix form that can reduce calling cfl sentence parsing and redundant evaluation to improve the efficiency
根據(jù)cfrf的特點，提出了后綴形式的計算方法，減少在函數(shù)計算中存在的動態(tài)語法分析，避免了不必要的求值計算，使效率得到提高。