Изображение DFA: https://ibb.co/LCW99q9
Насколько я понимаю, любая строка принимается, если она содержит подстроку "abc";все, что до, в порядке, и все, после, в порядке, включая «λ».Моя проблема в том, что я не уверен, как написать запись, так это правильно?L = {wabcv: v, w ∈ {a, b, c} *}