wΣw
w=ε wR=ε σ ΣvΣw=σv
wR=vRσ w =ε
wR=ε σ ΣvΣw=vσ wR=σvR
u, v, w Σ
(wR)R=w(uv)R=vRuR.
u, v, w Σ
uw =vw u=v
wu =wv u=v.
x, y, u, v Σxy =uv
• |x|>|u|w6=ε x =uw v =wy
• |x|=|u|x=u y =v
• |x|<|u|w6=ε u =xw y =wv
w#(Pref(w)) = |w|+ 1
#(Fac(w))
Σ = {a, b}wΣw2=w3
Σ = {a, b}wΣ
vΣw3=v2
w w =wR
LΣL=LR
Σ
L⊆ {a, b}
εL
u L aaub L
L
L
ΣLΣ
εL σ ΣσL
w L σ Σσwσ L
L
L
LΣ
(L)=L, LL=L, LL∪ {ε}=L=LL∪ {ε}.
LL=L
L, M, N ΣL(MN)LM LN
L={aa, bb}M={ε, b, ab}
LM L tt M
M
6L
nNL
L M
#L.#M= #(LM)
Σ Γ m, n N
t(m, n) := #(utt v), u Σm, v Γn.
t(m, n) = t(m, n 1) + t(m1, n), m, n > 0
t(m, 0) = t(0, m)=1
#(abba tt cd).
t(m, n)
Σ = {a, b}wΣ
xx x Σ
ΣwΣ
w=ui, u Σ
i2w
uΣw=uii1
u v Σx, y Σu=xy
v=yx abbaa
Σw
{→,,,↓}
(0,0) (1,1)
2
{a, b}a b
{a, b}
ba
{a, b}
aa bb
{a, b}
aa bb
{a, b}
aa aaa
{a, b, c}
a
{a, b}
aa
{a, b, c}
a b cc
{a, b, c}
a3
{a, b}
bb
{a, b}
a
{a, b, c}
ab
3
10
5
Σ
ϕ+ϕ∈ RΣL(ϕ+) = (L(ϕ))+=i>0(L(ϕ))i
(ba)+(ab+a)=(ba)b a+(b+e)
b+(ab+e)b=b(ba+e)b+
(a+b)= (a+b)b
(a+b)= (a+ba)
(a+b)= (b(a+e)b)
Σ = {a, b}
(ab)+= (aΣΣb)\aaΣ+ ΣbbΣ).
|L(ϕ)|
ϕ= (ab)+bbb
ϕ= (a(ba) + a)
ϕ= (ab)(ac(a+b))
ϕ=ab(bbc)
ϕ
• |L(ϕ)|= 5 + N.3
• |L(ϕ)|=N.7(4 + N.5)
{an3+2n+1 |nN}
{a2n+1 |nN}
{an|n∈ P} P
a b (a, b) = 1
a+N.b
A= (Q, 1, F, Σ, δ)Q={1,2,3}Σ = {a, b}F={3}
δ a b
1 1 2
2 3 2
3 3 1
.
A A
abba
bbbabb
bababa
bbbaa
A
ab{c}abtt{c}
{a, b}ab{c}
{c}ρLnN
n L
ρL:NN:n7→ #(LΣn).
ρab(n)ρabtt {c}(n)
b
b
a
a
b
aa
b
a
b
1
3
a
b
a
a
a
2
b
aaabb
aaabb
ε
12
3
4
,a
ε
ε
b
bab
b
a
a
a
b
a
b
b
aa
(ab)+a.
n1 (a+b)b(a+b)n1
n+ 1
2n
(abc)a.
((abc)a)R.
1 / 18 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !