例句與造句

1. 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
   同時(shí)lfc也是一種函數(shù)式語(yǔ)言，具有良好的數(shù)學(xué)基礎(chǔ)、引用透明、無(wú)副作用、模式匹配等特點(diǎn)。
2. 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的特點(diǎn)，提出了后綴形式的計(jì)算方法，減少在函數(shù)計(jì)算中存在的動(dòng)態(tài)語(yǔ)法分析，避免了不必要的求值計(jì)算，使效率得到提高。
3. It's difficult to find cfrf in a sentence. 用cfrf造句挺難的