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

 
  • 拓广的右线性递归中可以包含一个或多个IDB谓词;它是右线性递归的一般化.
今日热词
目录 附录 查词历史