L(r1, r2) = {ω ∈ Σ ∗ | r2 ∈ δ ¯(r1, ω)}, where δ ¯ : Q × Σ ∗ → Q such that δ¯(r, ) = {q} and δ¯(q, ωa) = [ r 0∈δ¯(r,ω) δ(r 0 , z ) ________ What this is and where here is incorrect thing? Maybe here everything is correctly?