recursion - 定義からの文字列再帰的説明

Question

したがって、文字列について次のように説明します。S は、a、b、および c のすべての文字列で構成されます。ここで、増加する数の a が、増加する数の b と c、または c と b の前に来ます。{a,b,c} 上の集合 S の次の再帰的定義について、これは意味がありますか?

Answer 1

それは理にかなっていますが、不完全です。問題の文字列は、次の正規表現に従います。

a+[bc]*

したがって、少なくとも 1 つの が常にa存在し、 とbがc混在する可能性があることを明確にする必要があります。