Search code examples
automatafinite-automatacomputation-theorydfaautomata-theory

Is my description of the language accepted by this DFA?


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}*}


Solution

  • Yes, your answer is correct. That is: L = {wabcv: v,w ∈ {a,b,c}*}