Arjun Suresh (talk | contribs) |
Arjun Suresh (talk | contribs) |
||
Line 9: | Line 9: | ||
1.WW | such that W=(a+b)* | 1.WW | such that W=(a+b)* | ||
+ | |||
2.WW | such that W=(a+b)+ | 2.WW | such that W=(a+b)+ | ||
+ | |||
6.WWr | such that W=(a+b)* | 6.WWr | such that W=(a+b)* | ||
+ | |||
7.WWr| such that W=(a+b)+ | 7.WWr| such that W=(a+b)+ | ||
+ | |||
8.1.WXWr | such that W,X=(a+b)* | 8.1.WXWr | such that W,X=(a+b)* | ||
+ | |||
9.WXWr | such that W,X=(a+b)+ | 9.WXWr | such that W,X=(a+b)+ |
Here, <math>L</math> can generate all strings in <math>\Sigma^*</math>, by making <math>x = (a+b)^*</math> and <math>w = \epsilon</math>. Hence, <math>L</math> is regular.
Here, L is not generating all strings in <math>\Sigma^*</math> as the strings like abab are not generated by L. L is actually generating all strings except those of the form <math>ww, w \in (a+b)^*</math>. To do this is not we need at least an <math>LBA</math>, making <math>L</math>, a <math>CSL</math>.
1.WW | such that W=(a+b)*
2.WW | such that W=(a+b)+
6.WWr | such that W=(a+b)*
7.WWr| such that W=(a+b)+
8.1.WXWr | such that W,X=(a+b)*
9.WXWr | such that W,X=(a+b)+
Here, <math>L</math> can generate all strings in <math>\Sigma^*</math>, by making <math>x = (a+b)^*</math> and <math>w = \epsilon</math>. Hence, <math>L</math> is regular.
Here, L is not generating all strings in <math>\Sigma^*</math> as the strings like abab are not generated by L. L is actually generating all strings except those of the form <math>ww, w \in (a+b)^*</math>. To do this is not we need at least an <math>LBA</math>, making <math>L</math>, a <math>CSL</math>.
1.WW | such that W=(a+b)* 2.WW | such that W=(a+b)+ 6.WWr | such that W=(a+b)* 7.WWr| such that W=(a+b)+ 8.1.WXWr | such that W,X=(a+b)* 9.WXWr | such that W,X=(a+b)+