Image of DFA: https://ibb.co/LCW99q9
From my understanding, any string is accepted as long as it contains the substring “abc”; anything before is okay, and everything after is okay, including “λ”. My problem is that I’m not sure how to write the notation, so is this correct? L = {wabcv: v,w ∈ {a,b,c}*}
Yes, your answer is correct. That is:
L = {wabcv: v,w ∈ {a,b,c}*}