*

Q

A=( ,Q,q0,F, ) !A

!

Q ˆ :Q

*

Q

(q,xy)= ( (q,x),y) ! L(A) {x

*

| ˆ (q 0 , x) F}

q

!

"

Lq={w| (q0,w)=q} !q L

A

L *

!

ˆ :Q

*

2Q

#

# 2Q !

:Q

! *

L(A) {x

(r1r2) R (r1+r2) R !

!

! \$

\$

*

r1,r2 R

!

R,

R,

R !

| ˆ (q 0 , x)

F

}

!

!

" (r1)* R

L[|r|]

r R !Kleene \$

z=uvw

|z| n

z L

n

L

# ! ! |uv| n % |v| 1 &

w=

u=

i 0

uviw L '

h : --> *

!

h( ) = L

*

h 1 (L) {x

*

| h(x)

h(xy)=h(x)h(y)

!

h 1:2

*

L}

h : *--> * !

*

*

2

!

* h( Li )

L

*

(h(Li ))

&

h(L1L2)=h(L1)h(L2) % !

h(L)

! !L1, L2

L2

L1

L2

L1 / L 2

L1

*

{x

L 2 \ L1

{x

*

| y

L 2 , xy

| y

L 2 , yx

L2\L1 L1/L2 |w|<|Q|

w

|Q| |w|<2|Q|

* L1} L1}

L2

L1

*

w L(A)

L(A) A G=(V,T,P,S) !G

"

V S

L(G)={x T*|S=>*x} !G (VUT)*

a T

!

A,B V

A-->

!

!

A-->Ba A-->aB A-->a S--> !

L=L(G)

G

!

L

! L(G)=L(M)

M

G

! S=>* 2

1

G

T2

2

\$

T1

1 T2

#

\$ \$

G

(VUT)* !

(

#

#

\$ w L(G)

& \$

T1

(

#

G

#

\$

#

A,B,C V, a T, A-->BC | a ! A V,

V*, a T, A-->a

! L(G)

n

|w| 2i-1

i

w

(

G

G w L(G) n=2|w|-1

|z| n

z L

n

L

! z=uvwxy

!

|vwx| n % |vx| 1 & uviwxiy L '

i 0 L-{ }

n 2|v|

|v| M=(Q, , , ,q0,-|,F) !

! Q

Q

:Q ( *

w

*

2Q

{ }) q

*

!

id=(q,w, )

! | (q,a,Z)| 1 !Z (q, ,Z)= L=L(M) \$

#

a

(q, ,Z)

! M

L !

U{ } q Q

%

!Z

&

q Q

fvdafsa

fdafda fdfa fdfdaf dsa

fvdafsa

fdafda fdfa fdfdaf dsa