The Church-Turing Thesis

原创 2004年09月15日 13:40:00

3.1

A Turing machine is a 7-tuple(states, input alphabet, tape alphabet, transition function, start state, accept state, reject state)

Call a language is Turing-recognizable if some Turing machine recognize it.

Call a language is Turing-decidable if some Turing machine decides it.

 

3.2

Multiple Turing Machines

Non-deterministic Turing Machines

Enumerators

 

3.3

Hilbert’s 10th problem requires a precise definition of algorithm.

Church use the notational system called the l-calculus to defined algorithms and Turing did it with his “machines”. There two definitions are shown to be equivalent.

This connection between the informal notion of algorithm and the precise definition has come to be called the Church-Turing thesis.

 

N元语法模型的数据稀疏问题解决方法之一:Good-Turing平滑

在统计语言模型章节中,我们谈到了N元语法模型不可避免的一个问题,就是数据稀疏,其原因是大规模语料统计与有限语料的矛盾。根据齐普夫(Zipf)法则,我们能够推测知零概率问题不可避免。数据稀疏问题的解决办...
  • u010189459
  • u010189459
  • 2014年07月28日 20:57
  • 2001

丘奇数(Church numeral)

丘奇数的含义
  • yqj2065
  • yqj2065
  • 2015年07月30日 17:59
  • 2013

语言模型srilm(三) 折扣平滑算法

一、概况在训练语言模型的时候有几个常用词:折扣(discounting)、平滑(smoothing)、插值(interpolate),下面用一个例子简单介绍一下。 我们的训练语料里面有“a、b、c、...
  • xmdxcsj
  • xmdxcsj
  • 2015年12月21日 18:06
  • 3160

The Love of a King——7、The Church

In the spring of 1936,Mrs Simpson wrote a letter to her husband. 'Dear Ernest,'she wrote.'You have ...
  • ahao214
  • ahao214
  • 2013年01月26日 09:56
  • 743

INDUSTRIAL.ORGANIZATION.A.Strategic.Approach (Jeffrey.Church)

  • 2009年08月03日 14:33
  • 4.43MB
  • 下载

BRKCCT-2005_Church_3_ccu

  • 2014年11月27日 14:17
  • 2.33MB
  • 下载

Gale和Church的句对齐算法解析

Gale和Church在1993年提出了一个基于长度进行句对齐的算法,并在附录里公开了C源代码。这篇论文相当经典,以至于之后的关于句对齐的论文大多数要引用它。论文的题目是《 A Program for...
  • WUTab
  • WUTab
  • 2017年04月14日 22:05
  • 611

SICP习题-Church计数

本题目来自SICP(计算机程序构造和解释)一书中的习题,原题如下: 练习2.6 如果觉得将序对表示为过程还不足以令人如雷灌顶,那么请考虑,在一个可以对过程做各种操作的语言里,我们完全可以没有数(至...
  • sinat_28750977
  • sinat_28750977
  • 2017年07月13日 19:38
  • 137

Themedy Thesis & Genesis Skin Club

Fresh Designs for Thesis & Genesis Premium designs for the top WordPress frameworks bundled with lo...
  • Jason009
  • Jason009
  • 2014年01月18日 10:23
  • 1422

毕业论文参考文献 Master's thesis references

参考文献第一篇:题目:RnR^n空间上非齐次分数阶薛定谔-基尔霍夫类型方程的多解问题作者: Cesar E. Torres Ledesma摘要:原文链接:Multiplicity result for...
  • qq_35246620
  • qq_35246620
  • 2017年03月08日 20:00
  • 648
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:The Church-Turing Thesis
举报原因:
原因补充:

(最多只允许输入30个字)