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

• 拓广的右线性递归中可以包含一个或多个IDB谓词；它是右线性递归的一般化.