string - 归纳定义字符串集

Question

CS学生在逻辑课上苦苦挣扎。这个问题让我一头雾水

归纳定义字符串集

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

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

score 0 · Accepted Answer

0

我建议以下定义：

$bc \in S\a^pbc^r \in S \暗示 {a^{p+1}bc^r,a^pbc^{r+1},a^{p+1}bc^{r+1 }} \子集 S$

于 2014-03-30T20:14:19.913 回答

1 回答 1