The Why·Liam·Blog by WhyLiam is licensed under a Creative Commons BY-NC-ND 4.0 International License.
由WhyLiam创作并维护的Why·Liam·Blog采用创作共用保留署名-非商业-禁止演绎4.0国际许可证。
本文首发于Why·Liam·Blog (https://blog.naaln.com)，版权所有，侵权必究。
写这篇文章，是想尝试回答学习图灵机模型中遇到的三个问题：
图灵机（Turing machine）是英国数学家阿兰·图灵（Alan Turing）于 1936 年设计的一种抽象机器，用于定义和模拟计算（computing）。图灵机虽然构造简单，但却极其强大，它能模拟现代计算机的所有计算行为，堪称计算的终极机器。然而即便是这个终极机器，也有令它无能为力的问题，这便是第一个要回答的问题：为什么图灵机有不可判的问题？
首先明确什么是图灵可识别（Turing recognizable）和图灵可判定（Turing decidable）。图灵机的识别对象是语言，图灵可识别当然不是说图灵本人能识别的语言（照这样说汉语可能是图灵不可识别的~），事实上这只是简称，全称应该是图灵机可识别语言（Turing machine recognizable language）和图灵机可判定语言（Turing machine decidable language）。
一台图灵机在读取一个串后可能进入三种状态：接受、拒绝、循环，如果图灵机进入循环状态，那它将永不停机。现在假设有语言 A，如果能设计出一台图灵机 M，对于任意字符串ω，如果ω∈A，那么 M 读取ω后会进入接受状态，那么 A 是一个图灵可识别语言。注意这个定义对于ω不属于 A 的情况没有做出限制，所以 M 读取到不属于 A 的ω，那么它有可能拒绝，也有可能循环。
别告诉她，我还想她，恨总比爱容易放下。当泪水堵住了胸口，就让沉默，代替所有回答
前几天，何炅发了一条关于梦想的微博：我叫 _____. 今年 _____.我十八岁时的梦想是 _________，现在我在做 _______.
评论中有各种各样的梦想，有些人实现了当初的梦想，但是更多的留下了遗憾。然后有两位梦想和现实刚好互换的博友，挺有意思。
从幼儿园开始，家长、老师就会问你长大后想做什么？那个时候，大多数人的梦想都是老师、警察、医生、科学家。
还有一些奇怪的梦想，宇宙大王、奥特曼等等，现在想想还挺好笑的，小孩子的梦想简单而美好，和现实无关。
长大一些，梦想开始现实起来，有些人在为梦想而努力，有些人只有梦想而没有实际行动。
金山软件 CEO 张宏江博士在珠海 UIC 高桌晚宴上表示，移动互联成主流，不再是趋势，而是现实。
张宏江当晚在 UIC 演讲了《移动互联时代的机遇》，据其介绍，全球 PC 出货量正在减少，智能手机和平板电脑出货量不断增加，预计在 2013 年第二季度，智能手机和平板电脑的保有量将超过 PC。
中国智能手机 2012 年出货量超过 1 亿部，出货量占全球总出货量的 26.5%，张宏江认为中国移动互联网经济驶入快车道，预计今年移动互联网经济规模达 976.2 亿人民币，经济规模增速 148%。
张宏江称，2013 年新的科技趋势有五方面：一是移动设备大战，预计 2015 年销售的手持设备中超过 80% 是智能手机。二是随着 HTML5 的功能越来越强，长期来看将会从原生 app 过渡到 Webapp 上面。三是个人云将会逐渐取代 PC。四是企业应用市场，预计 2014 年许多机构将通过私有应用市场向员工分发移动应用程序。五是战略大数据，大数据从关注个人项目转移到影响企业战略信息架构上。
张宏江在接受中新社记者采访时说：「中国的互联网不缺乏创新，人才、商业模式都有很多创新。其实，世界上的创新彼此都是很多关联的，我不是很赞同『自主创新』这个概念，所有的创新都是集技术之大成，然后提出你的想法来。」张宏江是微软亚洲研究院的创始人之一，之后又创立了融技术创新、产品开发、研究成果转换于一体的微软亚洲工程院，他曾担任微软亚太研发集团首席技术官、微软亚洲工程院院长，现就任金山软件 CEO。张宏江已出版四本学术专著、发表近 400 篇学术论文，编辑发表了十本有关多媒体处理、内容检索和互联网多媒体的学术专集，拥有 60 余项美国专利。
从别后，忆相逢，几回魂梦与君同。今宵剩把银红照，犹恐相逢是梦中。
望湖畔，伊人坐此苦思念。笑苍天，何苦为伊泪眼潸。立誓言，汝若不弃共结缘。殊不知，伊人倦，此心早为初人献。君心碎，无可盼，许诺来世再相见。君欢喜，皆圆满，双双投水无人怨。伊化鸯，君化鸳，只羡鸳鸯不羡仙。
一江明月，回首少了谁。一杯浊酒，相逢醉了谁。一年春事，桃花红了谁。一眼回眸，尘缘遇了谁。一点灵犀，真情赠了谁。一句珍重，天涯送了谁。一番萧索，鱼书寄了谁。一帘幽梦，凭栏念了谁。一夕霜风，雪雨遣了谁。一声低唱，才情痴了谁。一种相思，闲愁予了谁。
雨落非尘红点地。花忍泣，含羞意。细雨绵绵，又把伊人忆。倚窗仿若听花语，手抚玉，不肯栖。相思之苦谁人替？拭笑颜，孤人僻。奈何花开，忍悲含笑涕。红瓣染雨作尘泥，过路人，以泪祭！
相信对嵌入式开发感兴趣的朋友最近一定不会对一个新名词陌生—— Arduino。尤其对初学者来说，恐怕都听到过「嵌入式开发从哪里上手最好？Arduino！」这样的说法。那么 Arduino 到底是什么呢？是一种新的控制芯片？还是一种新的开发软件呢？
首先我们先看看 Arduino 的实物图，下面是最常见的一种 Arduino 实物图片（关于 Arduino 的分类，我们会在后面详述）：
图中已经用红线根据功能将各个模块区分出来，相信对单片机开发稍有了解的朋友一定已经发现，这不就是一个以 AVR 单片机最小系统为核心的控制板吗？
不错，Arduino 就是以 ATMEL 公司的 AVR 单片机为核心的单片机控制板，板上除了 ATmega168 最小系统电路外，还包含了稳压电路，USB 转串口电路，一些指示用的 LED，以及一些扩展用的电路插座。
UIC（United International College) 是对我们学校的简称。
UIC 是一间新生的创新式大学，校龄只有 5 年（非常地嫩）。
今年开始在除广东外的其它省份以重本招生，而 UIC 实际是香港浸会大学在内地办的大学，由于教育处的要求，必须要以合作形式办学，于是你就看到了像标题一样长的校名。
对于报考 UIC 的同学们来说，它最大的好处就是可以获双毕业证，一个是香港浸会大学的毕业证，另一个则是 UIC 本校的毕业证。
UICer 便是指 UIC 特立独行的学子们。
OpenGL 是一个开放的系统，它是独立于任何窗口系统或操作系统的。尽管它包含了许多图形函数，但它却没有窗口函数，也没有从键盘和鼠标读取事件的函数，所以要初学者写出一个完整的图形程序是相当困难的。另外，OpenGL 图形函数中只提供基本的几何原型：点、线、多边形，因此要创建基本的三维几何体如球、锥体等，也很不容易。而 OpenGL 辅助库就是为解决这些基本问题专门设计的，它提供了一些基本的窗口管理函数和三维图形绘制函数，能帮助初学者尽快进入 OpenGL 世界，掌握关键的三维图形技术，体会其中奇妙的乐趣。但是，对于复杂的应用，这些函数远远不够，只能作为参考。
辅助库函数分类
辅助库函数大致分为六类：
1.窗口初始化和退出。
相关函数有三个，这里将详细介绍：