Подождите немного. Документ загружается.
•
•
•
U
M x M
x U
M |x|
•
•
•
U
M x M
x U
M |x|
•
•
•
U
M x M
x U
M |x|
Σ L ⊂ Σ
∗
L
M
(
x ∈ L ⇐⇒ M(x) q
yes
x 6∈ L ⇐⇒ M(x) q
no
L
M
(
x ∈ L ⇐⇒ M(x) q
yes
x 6∈ L ⇐⇒ M(x)
Σ L ⊂ Σ
∗
L
M
(
x ∈ L ⇐⇒ M(x) q
yes
x 6∈ L ⇐⇒ M(x) q
no
L
M
(
x ∈ L ⇐⇒ M(x) q
yes
x 6∈ L ⇐⇒ M(x)
q
no
q
∞
(q
∞
, ∗) 7→ (q
∞
, ∗, →)
L ⇐⇒ M
0
L M
0
⇐ M M
0
x
⇒ M
0
M
q
no
q
∞
(q
∞
, ∗) 7→ (q
∞
, ∗, →)
L ⇐⇒ M
0
L M
0
⇐ M M
0
x
⇒ M
0
M
q
no
q
∞
(q
∞
, ∗) 7→ (q
∞
, ∗, →)
L ⇐⇒ M
0
L M
0
⇐ M M
0
x
⇒ M
0
M
q
no
q
∞
(q
∞
, ∗) 7→ (q
∞
, ∗, →)
L ⇐⇒ M
0
L M
0
⇐ M M
0
x
⇒ M
0
M
L L = Σ
∗
\ L L
L L
