0%

写这篇文章,是想尝试回答学习图灵机模型中遇到的三个问题:

  1. 为什么图灵机有不可判的问题?
  2. 为什么强大的图灵机会不停机?
  3. 为什么图灵当初要设计图灵机?

图灵机(Turing machine)是英国数学家阿兰·图灵(Alan Turing)于1936年设计的一种抽象机器,用于定义和模拟计算(computing)。图灵机虽然构造简单,但却及其强大,它能模拟现代计算机的所有计算行为,堪称计算的终极机器。然而即便是这个终极机器,也有令它无能为力的问题,这便是第一个要回答的问题:为什么图灵机有不可判的问题?

首先明确什么是图灵可识别(Turing recognizable)和图灵可判定(Turing decidable)。图灵机的识别对象是语言,图灵可识别当然不是说图灵本人能识别的语言(照这样说汉语可能是图灵不可识别的~),事实上这只是简称,全称应该是图灵机可识别语言(Turing machine recognizable language)和图灵机可判定语言(Turing machine decidable language)。

阅读全文 »

别告诉她,我还想她,恨总比爱容易放下。当泪水堵住了胸口,就让沉默,代替所有回答

MV讲的是喜欢音乐的男主角爱上了冷美人的女主角,男主角一直在追求女主角,图书馆中,女主角无意丢失了唇膏,男主角归还,并在课桌上巧妙的表达了爱意,2个人都喜欢在天台听音乐欣赏风景,共同的爱好促使2个人感情彼此拉近,沉浸在恋爱甜蜜中的女主角没想到,男主角出了车祸,离开人世。女主角心痛,但却无法挽回这结局,这段恋情给女主角学生时代的心留下了难以磨灭的印记。

The Why·Liam·Blog by WhyLiam is licensed under a Creative Commons BY-NC-ND 4.0 International License.

阅读全文 »

前几天,何炅发了一条关于梦想的微博:我叫_____. 今年_____.我十八岁时的梦想是_________,现在我在做_______.

评论中有各种各样的梦想,有些人实现了当初的梦想,但是更多的留下了遗憾。然后有两位梦想和现实刚好互换的博友,挺有意思。

从幼儿园开始,家长、老师就会问你长大后想做什么?那个时候,大多数人的梦想都是老师、警察、医生、科学家。

还有一些奇怪的梦想,宇宙大王、奥特曼等等,现在想想还挺好笑的,小孩子的梦想简单而美好,和现实无关。

阅读全文 »

金山软件CEO张宏江博士在珠海UIC高桌晚宴上表示,移动互联成主流,不再是趋势,而是现实。

张宏江当晚在UIC演讲了《移动互联时代的机遇》,据其介绍,全球PC出货量正在减少,智能手机和平板电脑出货量不断增加,预计在2013年第二季度,智能手机和平板电脑的保有量将超过PC。

中国智能手机2012年出货量超过1亿部,出货量占全球总出货量的26.5%,张宏江认为中国移动互联网经济驶入快车道,预计今年移动互联网经济规模达976.2亿人民币,经济规模增速148%。

张宏江称,2013年新的科技趋势有五方面:一是移动设备大战,预计2015年销售的手持设备中超过80%是智能手机。二是随着HTML5的功能越来越强,长期来看将会从原生app过渡到Webapp上面。三是个人云将会逐渐取代PC。四是企业应用市场,预计2014年许多机构将通过私有应用市场向员工分发移动应用程序。五是战略大数据,大数据从关注个人项目转移到影响企业战略信息架构上。

阅读全文 »

从别后,忆相逢,几回魂梦与君同。今宵剩把银红照,犹恐相逢是梦中。

望湖畔,伊人坐此苦思念。笑苍天,何苦为伊泪眼潸。立誓言,汝若不弃共结缘。熟不知,伊人倦,此心早为初人献。君心碎,无可盼,许诺来世再相见。君欢喜,皆圆满,双双投水无人怨。伊化鸯,君化鸳,只羡鸳鸯不羡仙。

一江明月,回首少了谁。一杯浊酒,相逢醉了谁。一年春事,桃花红了谁。一眼回眸,尘缘遇了谁。一点灵犀,真情赠了谁。一句珍重,天涯送了谁。一番萧索,鱼书寄了谁。一帘幽梦,凭栏念了谁。一夕霜风,雪雨遣了谁。一声低唱,才情痴了谁。一种相思,闲愁予了谁。

阅读全文 »

相信对嵌入式开发感兴趣的朋友最近一定不会对一个新名词陌生—— Arduino。尤其对初学者来说,恐怕都听到过「嵌入式开发从哪里上手最好?Arduino!」这样的说法。那么Arduino到底是什么呢?是一种新的控制芯片?还是一种新的开发软件呢?

首先我们先看看 Arduino的实物图,下面是最常见的一种Arduino实物图片(关于Arduino的分类,我们会在后面详述):

图中已经用红线根据功能将各个模块区分出来,相信对单片机开发稍有了解的朋友一定已经发现,这不就是一个以AVR单片机最小系统为核心的控制板吗?

阅读全文 »

UIC(United International College)是对我们学校的简称。

UIC是一间新生的创新式大学,校龄只有5年(非常地嫩)。

今年开始在除广东外的其它省份以重本招生,而UIC实际是香港浸会大学在内地办的大学,由于教育处的要求,必须要以合作形式办学,于是你就看到了像标题一样长的校名。

对于报考UIC的同学们来说,它最大的好处就是可以获双毕业证,一个是香港浸会大学的毕业证,另一个则是UIC本校的毕业证。

阅读全文 »

OpenGL是一个开放的系统,它是独立于任何窗口系统或操作系统的。尽管它包含了许多图形函数,但它却没有窗口函数,也没有从键盘和鼠标读取事件的函数,所以要初学者写出一个完整的图形程序是相当困难的。另外,OpenGL图形函数中只提供基本的几何原形:点、线、多边形,因此要创建基本的三维几何体如球、锥体等,也很不容易。而OpenGL辅助库就是为解决这些基本问题专门设计的,它提供了一些基本的窗口管理函数和三维图形绘制函数,能帮助初学者尽快进入OpenGL世界,掌握关键的三维图形技术,体会其中奇妙的乐趣。但是,对于复杂的应用,这些函数远远不够,只能作为参考。

辅助库函数分类

辅助库函数大致分为六类:

1.窗口初始化和退出。

阅读全文 »