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字符串中有bthen后面一定有字符(因为语法不会生成 epsilon)。这些字符可能更多 b,但最终 a 必须跟在后面(如前所述)。即 bn 次,其中 n >= 0;
  • 由于 SS 语言允许重复(无限次 (k))零个或多个 b 个字符后跟一个 a

语言 L 应该是这样的(其中 Sigma 是字母表):

这可以用正则表达式写成这样: