It is declared in the A. Church proposition that every algorithm can be described with a Turing machine.

 
  • 著名的丘奇(A.;Church)命题指出;任何算法都可以用一个图灵机来描述
今日热词
目录 附录 查词历史