turing machine

1
????? ?? ???
2
??? ??? ?? ????

• Q ? ? ? Q ? ? ? L,R,S
• gt ????? ??? ???? ?? ??

3
????? ?? ????
a
Track 1
b
Track 2
c
Track 3
4
???? ???? ?? ????
Track 1 for right part
Track 2 for left part
5
???? ????
Read only input file
Control unit
Tape
6
?? ???

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

7
???? ????

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

8
?? 10.4

• ?? ?? ????? ???? ???? M ( Q, ?, ?, ?, q0, , F)
  
• ?? ??? ? ? ??
• ?(qi,) (qj,,R)
• ?(qi,) (qj,,L)

9
?? 10.4

• ?? ??? ?? ?? ????? ?? ????
• Lanbncn n gt 1
• gt ??? ???? ??? ???? ???? ????? ??

10
?? ?? ??? ????
11
?? ??? ?? ??

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

12
?? 11.1

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

13
?? 11.2

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

14
??? ??

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

15
??? ??

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

16
??? ??

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

17
??-?? ??

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

18
??-?? ??

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

19
??-?? ??

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

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