11.

27 2007

.
1

 Turing
z

Turing?

z

:
z

V* (V-)V*.

G (V, , R, S):

V =
= , V
V- =
S = , V- ( )

R = V*(V-)V* V* . BT Ba

z
z
z

u, v V*(V-)V*, u G v :
w1, w2 V* u v R
u = w1 u w2
v = w1 v w2 .. a aBT b G a Ba b
L(G) = * G.

= G.
.

uAv uwv

z

= A w u (
) v ( )
=

{anbncn : n 1 }.
G=(V, , R, S): V ={S, a, b, c, A, B, C, Ta, Tb, Tc}, ={a, b, c}
(C)nc

R={ S ABCS |Tc

CA AC
BA AB

, , C

CB BC

nnCnc

CTc Tcc | Tbc : To Tc

C c
BTb Tbb | Tab

ATa Taa |

To Ta A a

Ta e

1.
.

.
z

G L.
z

Turing
L.
Turing
L.

Turing L.
z

G L.

1 (
).
1 :
z

,
..

Turing- ?

G= (V, , R, S) f: * *
. :
z

G f w, v *, :
SwS* v v = f (w)

f
.

2. f: * *
.

 ()
z

:
z

L(G)={ww |w {a, b}*}

10

11