/ 30

2015 16

4
Turing,
A, 7.1, 7.2
, 1.1- 1.6, 2
Turing
,
, , ,
.

(study.eap.gr)
, 30 2016 11:59.
,
(
) .
:
1.

,
. ..
< >
, , .

.

2.

:
< ( )>
. ,

4 , 30 2015 16

. 1 13
1

Y
O
study.eap.gr. -
, study.eap.gr.
,
:

4 emailstd055764@ac.eap.gr :
ioannou_std055764.docx.

30

.
/

2015-2016

, 30 2016
11:59

6/4/2016

( )
;

:
.
, ,
.
.

< >

< >

()

4 , 30 2015 16

. 2 13

8+12+5

...

13+12

...

3+17+5

...

12+13

...

100

:
< ->

4 , 30 2015 16

. 3 13

1
L= { 0n | n=2p, p1 }
2.
Turing L.

Turing .
m 2 2.
m1 m1 2
.
m 2.
1 m
2.
.
Turing L

. :
) .
) .
) 0000
.
: Turing, .
.

.

4 , 30 2015 16

. 4 13

)
:
0 $.

:
$ #,
0 $,
# $,
$ .
$, ,
.
0 $,
YES. NO.

Turing.
#,0,$ #w#
.
jflap .

4 , 30 2015 16

. 5 13

#0000#

#$$00#

#$#$0#

##$$0#

#$$$$#

#0000#

#$$00#

#$#$0#

##$$$#

#$000#

#$$00#

#$$$0#

##$$$#

#$000#

#$#00#

#$$$0#

#$$$$#

#$$00#

#$#00#

##$$0#

#$$$$#

( jflap ) #0000#
.
( )
.

:
<>
:

4 , 30 2015 16

... / 25

. 6 13

2
)
w . Turing,
e

f ( w) <M> w . Turing 1 (. w=<M1 >),

L(1 ) =L(), ,

<>

.


Turing ( ).
*
*
) f : S1 S2 Turing ,
*
*
Turing g : S2 S1

S*2

f g w w

f f
.
f Turing Turing
x f(x) f x,
f x.
f : A B y ,
x f(x)=y.
:
(A), Turing
.
(), (dovetailing)
.

4 , 30 2015 16

. 7 13

)
,
, .
:
L1 = {<M> | L(M)= }
L2 = {<M1,2> | L(M1)=L(M2) 2
}
L2 , Turing
, 2. Turing M1,
L1 :
1 <> 1 L(M1)=

( ) M2=.
<1, 2> 2.
1. 2 , L(M1)=L(M2) L(M2)=
1 .

L(M)=

2. 2 , L(M1) L(M2) L(M2)

1 .

L(M)

Turing L1. . L2
.
B) * +
:

f : S1* S*2 Turing ,

Turing
S*2

f g w w

g : S*2 S1*

f Turing
g f
Turing .
f f 1-1 .
2* 1*. Turing

4 , 30 2015 16

. 8 13

2* 1*. g
Turing .
:
Turing
S*2

f g w w

g : S*2 S1*
f : S1* S*2

Turing .
g f.
g Turing
f f Turing
.
f.
- 1. 1
f
2.
1 f
g. f 2.

:
<>
:

4 , 30 2015 16

... / 25

. 9 13

3
: Turing ,
w M wR
w; wR w.
) L .
) L Turing ,
= {c(M, w) | Turing
w}.
) L. Turing
, ;

) L = {c(M) | Turing wR
w, w }.
B) L L
L
, .
:
= {c(M, w) | Turing w}
:
L = {c(M, wR ) | Turing wR
w }
L , Turing
, 2. Turing M1,
:
1 <,w> ,
w .
<> 2.
3. 2 , wR
w .
w 1 .

4 , 30 2015 16

. 10 13

4. 2 ,
w, 1 .
Turing . . L
.
)
L = {c(M) | Turing wR
w, w }.
L
1.2 L .
( )
L .

:
<>
:

4 , 30 2015 16

... / 25

. 11 13

4
) S=,000, 1001, 0101, 11111-. :
Turing , L(M)= S;
Rice.
) L {0,1}*

. E L
. ,
4 ,
4 . L ;

)
C = {S-. c(M) L L(M) C ( L(M) = S). L
, ,
Turing , L(M) C.
Rice ,
. , ,
S
.
)
L
Turing . Turing
:
w,
w, ,
w
> w .

E L

4 , 30 2015 16

. 12 13

. n

.. 1 ,
1 , 1 2 ( )
, 2 , 2 1 .
L .

:
<>
:

4 , 30 2015 16

... / 25

. 13 13