automata - 此 DFA 是否接受我对语言的描述？

Question

DFA 图片：https ://ibb.co/LCW99q9

据我了解，只要包含子字符串“abc”，任何字符串都可以接受；之前的都可以，之后的都可以，包括“λ”。我的问题是我不确定如何编写符号，所以这是正确的吗？L = {wabcv: v,w ∈ {a,b,c}*}

Answer 1

是的，你的答案是正确的。那是： L = {wabcv: v,w ∈ {a,b,c}*}