Paper 2, Section I\mathbf{I}, 4F4 F

Automata and Formal Languages
Part II, 2016

(a) Which of the following are regular languages? Justify your answers.

(i) {w{a,b}w\left\{w \in\{a, b\}^{*} \mid w\right. is a nonempty string of alternating aa 's and bb 's }\}.

(ii) {wabww{a,b}}\left\{w a b w \mid w \in\{a, b\}^{*}\right\}.

(b) Write down a nondeterministic finite-state automaton with ϵ\epsilon-transitions which accepts the language given by the regular expression (a+b)(bb+a)b(\mathbf{a}+\mathbf{b})^{*}(\mathbf{b} \mathbf{b}+\mathbf{a}) \mathbf{b}. Describe in words what this language is.

(c) Is the following language regular? Justify your answer.

{w{a,b}w does not end in ab or bbb}\left\{w \in\{a, b\}^{*} \mid w \text { does not end in } a b \text { or } b b b\right\}