これは、私の教科書「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
開始と終了は同じ記号になります。両方を組み合わせることができないということですか、それとも式が正しくないということですか?