归纳定义字符串集

时间：2014-03-20 02:06:45

标签： string set logic discrete-mathematics induction

CS学生在逻辑课上挣扎。这个问题让我感到困惑

归纳定义字符串集

为以下字符串集找到归纳定义：

S = {apbcr | p是一个自然数，r是一个大于0的自然数}} * p和r是上标 *

1 个答案:

答案 0 :(得分：0)

我建议采用以下定义：

bc \in S\a^pbc^r \in S \implies {a^{p+1}bc^r,a^pbc^{r+1},a^{p+1}bc^{r+1}} \subset S

相关问题
最新问题