再帰を介してセットを生成する - 言語と文字列（CS /ロジック）

Question

これは一般的な論理質問であり、ほとんどの導入言語と機械コースに共通しています。しかし、私はインターネットとフォーラムでこれに関する助けを探しましたが、連続するセットに含まれる内容を詳しく説明するトピックは見つからないようです。ここで例の質問：（私はこのような多くのHWの問題を持って、私はどこから始めれば分からない）

はLが終わっ{A、B}以下の再帰的定義 根拠によって生成された言語とします：λ ∈L 再帰的ステップ：w∈LならばawbbはLにある。 閉包：再帰的ステップの適用の有限数 によって設定された基底から得ることができる場合のみ、文字列w∈L。 パートa。セットL1を与える。 L2;および再帰的定義によって生成されたL3。 L0 =λ

アルファベットは{a、b}、Lo =空文字列、Lに文字列wが含まれている場合、awbbはLに入っています。次のカップルセット？

L1 = {λ、awbb}とし、L2 = {λ、awbb、aawbbwbb}と考える。

あなたがこれで提供できるお手伝いをいただければ幸いです。

Answer 1

私は∈ L、そして∈ L awbb

手段ワット場合は、どのようなルール

を誤解していると思います。これはリテラル文字列 "awbb"がLであることを意味しません。代わりに、文字列w ∈ Lがある場合、その文字列wを文字列awbbに置き換えることができ、結果の文字列はLになります。例えば、ab ∈ Lの場合、aabbb ∈ Lも同様です。

これを使用して、L とL をもう一度試してみてください。私はあなたが最初のいくつかのセットを構築したら、すぐにパターンを見つけるだろうと思います。

希望すると便利です。