, , ,

1 , !

Touring MachineTuring Machine 2 " (Turing Machine)" M :M = (Q, S, G, d, q0, , F):Q : Q = {q0, q1, , qs}S" GS" ("" ")q0Q G\S"" ( )FQ () :d: (Q\F)G Q(G\){L, R, S} ( ) ?! 3 , -""

Alan Turing19121954 4 ''- Turing completeness NP-HardNP-CompletePNP

Alan Turing19121954 5

Alan Turing19121954 1966 2012: 60 . 5 : 6 1966 2012: 60 . 5 :1976: (+ ,. ): . ': 1931

7 1966 2012: 60 . 5 :1976: (+ ,. ): . 1996: (") : ; . 19412009

8 1966 2012: 60 . 5 :1976: (+ ,. ): . 1996: (") : ; .2002: (+ , MIT, , . ): (RSA). ': 1952

9 1966 2012: 60 . 5 :1976: (+ ,. ): . 1996: (") : ; .2002: (+ , MIT, , . ): (RSA).2011: , - -UCLA ( '): . ': 1936

10 1966 2012: 60 . 5 :1976: (+ ,. ): . 1996: (") : ; .2002: (+ , MIT, , . ): (RSA).2011: , - -UCLA ( '): . 2012: () -MIT (+ , MIT): . ': 1958

11 2012 . , 2013:" : : ,

Alan Turing19121954 2012 12 : " " ",

13