文脈自由文法を使用して、有限言語または無限言語の解決策を考え出そうとしています。
私はこれらの文法を持っており、それが有限または無限の言語の解であるかどうかを見つけます
S -> XY|bb Step 1
X -> XY|SS Step 2
Y -> XY|SS Step 3
だから私はするだろう
S -> XY From step 1
S -> YYY From step 2
S -> SSYY From step 3
S -> SSSSY From step 3
S -> SSSSSS From step 3
S -> bbSSSSS From step 1
S -> bbbbSSS From step 1
S -> bbbbbbSSS From step 1
S -> bbbbbbbbSS From step 1
S -> bbbbbbbbbbS From step 1
S -> bbbbbbbbbbbb From step 1
bbbbbbbbbbbb
だから私はここでこのような単語を生成する方法を知っていますが、それが有限言語か無限言語かをどのように見つけるのでしょうか?