私は現在、オートマトンの理論のコースを受講していますが、次の問題が発生しました。私は1番目の質問の答えを思いつきましたが、2番目の質問のステートメントについて混乱しました.
(i) S = {aa,b} である言語 S* の再帰的定義を与えます。
ステップ 1: Lamba、aa、b は S にあります。
ステップ 2: x が S にある場合、bx と xb も S にある。
私は私の答えを確認したいです。
そして、次の質問は私が完全に混乱しており、答えを出すことができません。
(ii) T = {w1, w2, w3, w4} という言語 T* の再帰的な定義を与えてください。ここで、これらの w は特定の単語です。