S->SS|bS|a接受的语言描述
description of the language accepted by S->SS|bS|a
我想知道这个CFG生成的是什么语言
S → SS | bS | a
我获得了一些字符串但找不到模式
abbaaaa
aaaaaaa
ba
aaaaa
aaaaaaabaaaabbaa
babaaabaaaba
bbbababaababaa
baabaa
baa
aaaaaabbaaabbba
- 此语法不生成 epsilon;
S
生成的最小长度字符串为"a"
。 S
生成的最后一个字符也是 a
;
bS
表示if字符串中有b
then后面一定有字符(因为语法不会生成 epsilon)。这些字符可能更多 b
,但最终 a
必须跟在后面(如前所述)。即 b
的 n
次,其中 n >= 0
;
- 由于
SS
语言允许重复(无限次 (k
))零个或多个 b
个字符后跟一个 a
。
语言 L 应该是这样的(其中 Sigma 是字母表):
这可以用正则表达式写成这样:
我想知道这个CFG生成的是什么语言
S → SS | bS | a
我获得了一些字符串但找不到模式
abbaaaa
aaaaaaa
ba
aaaaa
aaaaaaabaaaabbaa
babaaabaaaba
bbbababaababaa
baabaa
baa
aaaaaabbaaabbba
- 此语法不生成 epsilon;
S
生成的最小长度字符串为"a"
。S
生成的最后一个字符也是a
;bS
表示if字符串中有b
then后面一定有字符(因为语法不会生成 epsilon)。这些字符可能更多b
,但最终a
必须跟在后面(如前所述)。即b
的n
次,其中n >= 0
;- 由于
SS
语言允许重复(无限次 (k
))零个或多个b
个字符后跟一个a
。
语言 L 应该是这样的(其中 Sigma 是字母表):
这可以用正则表达式写成这样: