A generalized right-linear recursion contains one or more IDB predicates and is essentially the generalization of right-linear recursion.

 
  • 拓廣的右線(xiàn)性遞歸中可以包含一個(gè)或多個(gè)IDB謂詞;它是右線(xiàn)性遞歸的一般化.
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan