turing machine

1
??-?? ??? ???
2
?? ?? ??

• ??? ??-??? ??? ????? ???
• uvixyiz ? L
• vxy lt m
• vy gt 1

3
??-?? ??? ?? ?? ??

• ???
• ??
• ??-??
• ??? ???
• ???

??
????
4
????
5
????

• ??????
• gt ???? ??

• ???? ????
• gt ????? ????

?? ???? ?? ???? gt ?? ?? ??? (??? ??, ??? ??, ?,
?? ?? ????)
6
????

• ??? ???? ??? ? ?? ??? ?? ?? ?? ??? ?? ???? ?? ? ?
  ??? ??

7
??????

• ????
• ??? 1?? ??
• ? ?? ??? ?? ?? ??
• ??? ???? ??? ?? ??
• ??? ??? ?? ??? ??? ? ?? ?? ? ??
• ???(tape) lt ?? ??? ??
• ??-?? ??? ?? lt ??, ??? ????

8
????
Control unit
Read-Write head
Tape
9
?? 9.1

• ?? ?? M? ??? ?? ????
• M ( Q, ?, ?, ?, q0, , z, F)
• Q ?? ?? ??
• ? ?? ??? ? ? ? - (???????? ??)
• ? ??? ???
• ? ?? ?? Q ? ? ? Q ? ? ? L,R
• ?? ???? ??? ??? ??
• q0?Q ?? ??? ?? ??(start state)
• F?Q ?? ??(final state)? ??

10
?? 9.1

• ? ?? ?? Q ? ? ? Q ? ? ? L,R
• ?? ??? ?? ?? Q
• ?? ???? ??? ?? ?
• ?? ??? ??? ?? Q
• ?? ?? ??? ???? ??? ??? ?? ?
• ???? L ?? R L,R

11
?? 9.1

• ?(q0, a) (q1,d,R)
• ???? gt ?? ??? ????
• ?? gt ???? gt ?? ??? ???? ?? ??

Internal State q0
Internal State q1
a b c
d b c
12
?? 9.3

• ?? ??? ????
• ?(q0,a) (q1,a,R)
• ?(q0,b) (q1,b,R)
• ?(q0,) (q1,,R)
• ?(q1,a) (q0,a,L)
• ?(q1,b) (q0,b,L)
• ?(q1,) (q0,,L)
• ?? ???? ? gt ab

a b .
13
?? ?? ??? ??

1. ????? ???? ??? ???? ?? gt ??? ??? ??? ??? ??? ??
2. ?? ? ??? ??? ??? ??? ??? ?? gt ???
3. ??? ??/?? ??? ?? lt ???? ???? ??/??

14
?? ?????? ????

• ?? ??? w gt ??? ???
• ????
• ??-?? ??? w? ?? ?? ??? ??
• ???? q0?? ??
• ??? ?? ?? ?? ??? ?? ??? ??? ???? w? ??

15
?????? ????

• ?? ??? ???? ?? ?? ??? ?? ?? ???
• ?? ??? ???? ? ? ???? ?? ?? ?
• w f(w)

16
???? ????

• ???? ???? gt ?? ???? ??? ??? ???? ???? ??? ? ??
  ?? ??

17
?? ?? ??? ????
18
?? ??? ?? ??

• ?? ??? ??? ???? ?? ??? ??????
• gt ???(unrestricted language)

19
?? 11.1

• ?? L? ???? ?? ??? ????? ? ??? ?????
  ??????(recursively enumerable)? ??.

20
?? 11.2

• L? ??? ?? ?? ??? ??. ?? ?? L? ????, ?? ?? ??? ??
  w? ??? ???? ?? ??? ?????, ? ?? L?
  ???(recursive)??? ??.

21
??? ??

• ?? 11.3
• ?? ?? ??? ??? ?? ??? ?? ??? ?? G(V,T,S,P)? ???
  ????? ??.
• u -gt v
• ??? u ? (V U T), v ? (V U T)

22
??? ??

• ???
• ??? ???? ?? ?? ??
• ?? ?? ??
• ??
• ????? ??? ?? ? ? ??

23
??? ??

• ?? 11.6
• ??? ??? ??? ???? ?? ??? ????? ??????

24
??-?? ??

• ?? 11.4
• ?? ?????? ??? ?? ??? ?? ?? G(V,T,S,P)? ??-??
  ???? ??.
• x-gty
• ??? x,y ? (V U T) ??
• x lt y

25
??-?? ??

• ?? 11.9
• ?? ??-?? ?? L? ?????.

26
Chomsky ??
????? ?? ?? ??
type 0
????
??-?? ??
type 1
??-?? ??
????A
type 2
?? ??
PDA
type 3
??A