これは、私の教科書「Introduction to theory of Computation」の例の例です。アルファベットを考えると∑ as{0,1}、
{w|every 0 in w is followed by atleast one 1}}
それの正規表現は(01+)*. 1+、1の単一のインスタンスのみを意味するものとして示されています。今、私が理解しているのは、文字列または1つの文字列がある場合の(01+)*ような文字列を意味するということです。これらの文字列は、指定された基準を満たします。しかし、正規表現はそれらを生成しません。0101010101010101....11111101 or 011111111(01+)*
Secondly for `{w|w starts and ends with same symbol}` the expression is given as `0∑*0 U 1∑*1 U 0 U 1.`
私が学んだ限り、2つのものの結合は最初のもの、または2番目のものまたは両方を意味します。文字列 011100∑*0と別の文字列を10001 1∑*1取得し、これら 2 つ0111010001のユニオンを取得すると、ユニオン文字列のDOESNOT開始と終了は同じ記号になります。両方を組み合わせることができないということですか、それとも式が正しくないということですか?