Recursion 需要关于两种语言S*和T*的递归定义的帮助，其中S={aa，b}和T={w1，w2，w3，w4}

我目前正在学习自动机理论课程，我发现了以下问题。我想出了第一个问题的答案，但对第二个问题的陈述感到困惑

（i）给出语言S*的递归定义，其中S={aa，b}。

步骤1： Lamba、aa、b在S中

步骤2： 如果x在S中，那么bx和xb也在S中

我想确认我的回答

下面这个问题我完全搞不懂，也找不出答案

（ii）给出语言T*的递归定义，其中 T={w1，w2，w3，w4} 这些w是一些特殊的词。

（i）非常接近。您至少缺少一条规则，并且您有一条不需要的规则。在步骤2中，您需要

xaa

或

aax

。您只需要步骤2中给出的规则中的一条，而不是两条。否则，这是正确的。最小递归定义是：

兰姆达在S

如果x在S中，那么aax和bx在S中

（ii）与（i）相同，只是一般化。答案是

兰姆达在T

如果x在T中，那么w1x、w2x、w3x、w4x在T中

（i） 非常接近。您至少缺少一条规则，并且您有一条不需要的规则。在步骤2中，您需要

xaa

或

aax

。您只需要步骤2中给出的规则中的一条，而不是两条。否则，这是正确的。最小递归定义是：

兰姆达在S

如果x在S中，那么aax和bx在S中

（ii）与（i）相同，只是一般化。答案是

兰姆达在T

如果x在T中，那么w1x、w2x、w3x、w4x在T中