Decidability

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

Theorem:

A (DFA)  is a decidable language (accept)

Theorem:

       A (NFA) is a decidable language (accept)

Theorem:

       E (DFA) is a decidable language (empty)

Theorem:

       EQ (DFA) is a decidable language (equal)

Theorem:

       A (CFG) is a decidable language (accept)

Theorem:

       E (CFG) is a decidable language (empty)

 <?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office" />

Theorem:

       A (TM) is an undecidable language (accept)

       The diagonalization method

R is uncountable

 

Some language is not Turing recognizable

       The set of all Turing machines is countable

       The set of all languages is uncountable.

 

Theorem:

       A language is decidable if and only if it is both Turing-recognizable and co-Turing recognizable

       A(TM)    is not Turing recognizable.

Lambda Calculus (翻译)

原文出处:http://en.wikipedia.org/wiki/Lambda_calculus Lambda演算 From Wikipedia, the free encyclopedia...
  • DinoSantiago
  • DinoSantiago
  • 2004年07月02日 10:27
  • 2529

为什么每个人都该知道阿兰·图灵?

要评价图灵的一生难免使用以下的称号:数学家,密码破译专家,计算机开路人,人工智能理论家,或是同性恋中的标志人物。6月23号就是图灵诞辰100年纪念日了,BBC在本周发表了一系列的纪念性文章,其中就有图...
  • wql19881207
  • wql19881207
  • 2012年06月24日 23:03
  • 2727

丘奇和图灵

丘奇和图灵     丘奇(Alonzo Church)和图灵(Alan Turing)是两位对计算机科学具有最大影响力的人物,然而他们却具有非常对立的观点和相差很多的名气。在我长达16年的计算机...
  • liyaoge
  • liyaoge
  • 2017年03月24日 18:04
  • 100

沃尔夫勒姆和他的“新科学” 钮卫星

1 在传媒发达、信息通畅的今天,科学家成为大众瞩目的焦点已不是什么新鲜事。在刚刚过去的2002年里,人们对理论物理学家斯蒂芬·霍金到访中国而掀起的“霍金热”还记忆犹新。同样是2002年,在大洋彼岸...
  • wdsky2010
  • wdsky2010
  • 2012年11月23日 20:01
  • 1157

谜样的计算机科学之父

谜样的计算机科学之父李国伟从二十世纪后半开始,电子计算机对人类文明产生惊天动地的变革,一个“资讯时代”的文明阶段已经正式展开。把作为计算机理论创始者的涂林称为“计算机科学之父”,应该是恰当的。我认为艾...
  • RiderOnStorm
  • RiderOnStorm
  • 2006年04月14日 16:38
  • 3317

MSC2010

MSC-2010 ining errors to help in this work, which should be given, preferably, on the Website a...
  • zzwu
  • zzwu
  • 2015年10月25日 01:23
  • 1662

病毒理论方面的经典文章

Fred Cohen____________________________________________________________________________________Comput...
  • celestialwy
  • celestialwy
  • 2007年05月08日 10:56
  • 2532

A Mathematical Introduction to Logic

The purpose of these comments is to explain, section by section, what I am trying to do in the book....
  • wqsgaara
  • wqsgaara
  • 2007年04月22日 16:32
  • 1317
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:Decidability
举报原因:
原因补充:

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