Proving OP(L) is regular

73 Views Asked by At

i am currently working on a proof to show that if L is regular then OP(L) is also regular without the use of pumping lemma. For the sake of this question, i am using {0,1} as alphabets.

OP(L) = {w| wz ∉ L for every z ∈ {0,1}* - {∈} }

At the moment, i have a hard time starting the proof. What i understand is that, If L is regular then we can define a DFA that can decide L. And then we can define another machine for OP(L) with every transition from M along with ∈ transitions.

Am i on the right track? I could really use some hints.

1

There are 1 best solutions below

0
On BEST ANSWER

Hint. Use the fact that regular languages are closed under complement.