小鸡鸡 发表于 2007-10-15 18:55

请问这句话什么意思啊,看着就头晕阿。

Bisher ist es nicht gelungen, eine berechenbare Funktion anzugeben, eine
Funktion also, für die ein Algorithmus existiert, die nicht auch Turingberechenbar
ist.

就怕这样的句子,先谢过哈。

小鸡鸡 发表于 2007-10-15 18:59

是不是说:

到现在为止还没有任何一个已经存在算法的功能(函数)不能用图灵机来表示。

雪候鸟 发表于 2007-10-15 19:04

原帖由 小鸡鸡 于 2007-10-15 19:59 发表 http://www.dolc.de/forum/images/common/back.gif
是不是说:

到现在为止还没有任何一个已经存在算法的功能(函数)不能用图灵机来表示。
$支持$ $支持$不过小鸡鸡这个id有点

雪候鸟 发表于 2007-10-15 19:07

到现在也不能给出这样可以计算的函数,它的算法是不能用图灵机表示的。 也就是说只要是可以计算的函数都能用图灵机表示。

还有很多其他的计算模型,例如有限自动机,Petri-Netz等等。他们的计算能力都没有图灵强。

[ 本帖最后由 雪候鸟 于 2007-10-15 20:12 编辑 ]

小鸡鸡 发表于 2007-10-15 19:20

哦,原来如此,看来雪候鸟也是学informatik的啦。多谢$送花$

雪候鸟 发表于 2007-10-15 19:50

原帖由 小鸡鸡 于 2007-10-15 20:20 发表 http://www.dolc.de/forum/images/common/back.gif
哦,原来如此,看来雪候鸟也是学informatik的啦。多谢$送花$
$汗$ $汗$ ,是的。最近突然对理论计算机这个方向干兴趣。msn: yushan.liu@hotmail.com 要是愿意交个朋友

[ 本帖最后由 雪候鸟 于 2007-10-15 20:53 编辑 ]

karlfriedrich 发表于 2007-10-15 20:03

这个ID,嗯:o
有嫌疑的说$汗$

雪候鸟 发表于 2007-10-15 21:28

原帖由 karlfriedrich 于 2007-10-15 21:03 发表 http://www.dolc.de/forum/images/common/back.gif
这个ID,嗯:o
有嫌疑的说$汗$
:D :D 还有图片,不过一般都是说反话,其实是大...

小鸡鸡 发表于 2007-10-16 00:44

。。。。。。。。。。。。。。。。。。。。。$汗$
页: [1]
查看完整版本: 请问这句话什么意思啊,看着就头晕阿。