Cours - LIFL

•
•
•
•
•
λ

A={x/x 6∈ x}, x x x
A A
M
Q
Γ
BΓ
Σ Γ − {B}
δ Q ×ΓQ×Γ× {L, S, R}
q0Q
F Q
(u, q, v)q
u
v
(u, q, xv)`(u0, q, v0)
δ(q, x) = (q0, x0, L)u=u0y, v0=yx0v
δ(q, x) = (q0, x0, S)u=u0, v0=x0v
δ(q, x) = (q0, x0, R)u=ux0, v0=v
(u, q, xv)`∗(u0, q, v0)
u(, q0, u)`∗(u0, q, v0)q
M L(M)u

M
u
M L(M)
u L u L
u
L u L
P
N N
M d M d

t(n)s(n)≤t(n)t4(n)
P1P2L1L2Σ1
Σ2P1P2red Σ∗
1Σ∗ 2u
L1red(u)L2
L2L1L2A
u L2red red(u)
L2u L1
P1P2P1P2
P2P1P1
P2
k u1, ..., ukv1, ..., vkn > 0i1, ..., inui1...uin=vi1...vin
P(x1, ..., xn)=0 P
n
n
10105