Lambda/TTの小窝

  希特，一年没写博客了，时间的车轮滚滚前进，该来的我不推，现在复活！

别名分析

 从本质上说，指针就是别名。C语言里的指针彻底暴露出实现细节——内存地址，加之它的定义形式与使用形式不一样，再加上指针可以乱指，所以用起来有点麻烦，分析起来也麻烦。Java掩盖了指针的本质，同时虚拟机用GC加以管理，基本上不会出现乱指的情况，但是因为Java有继承、有虚函数、还有反射，所以分析别名也麻烦。C++也有自己的别名机制：引用，通常在向函数传递参数的时候使用。话说回来，其实Java里的变量全都是引用。

  无论是C指针也好、Java变量也好、C++引用也好，它们都是给对象增加别名的方法，因此我认为用别名分析统称这一类机制比较合适。而别名分析需要回答的一个根本问题是：哪些“

跌入无穷尽井底

思想完全被控制

困在无涯洞仰望天际

脱不了你范围

继续徘徊在你的世界

魂游在你的单位

井底里梦见你一切

最好不要提

命运何来受控制

有阵时候埋怨你不济

你走了再别提

有阵时候自责心有愧

无从赠你好东西

狠心与内疚在交替

藏身这个洞永远封闭

  好久没写博客，其实有好多东西想写，但这段时间一直在学该死的英语，搞完还有些乱七八糟的事，所以还得等一阵。在此之前，我想回味一下刚刚过去的一年，顺便试试 Live Writer。一年前的今天，我给2012年定下15个目标，最终只完成了6个；尽管如此，我觉得这一年过得还不错，不，应该是很不错。

  一月。复习考试，这个学期我跟沈阳翘掉了N多课，但最终都没挂科哇哈哈哈，好运由此开始。

  二月。放假在家，学习计算理论。计算理论好有趣，搞得我一度怀疑我应该学计算机科学而不是工程。不过现在又清醒了，敲代码始终是我的最爱，无可替代！

  三、四月。论文冲刺月。翘掉那么多课就是为了论文。这段时间每天都只能睡8个小时——再少我就挂了。。。不过现在回想起来，那段日子挺美妙的：每天7点半到实验室，龙龙跟大树总是比我早，有时会跟沈阳一起急急忙忙跑过去，进去之后吃个早餐，然后开始干活，直到晚上10点半甚至11点，中间有课就去上，上完又回来，周末也不休息。大家每天在实验室折腾那两台机子，写脚

关于“如何构造可配置词法分析器”这个问题，V神已经写了非常好的文章，并且他实现的功能比我的强悍得多也完善得多，我写东西的一个原则就是人家写好了的话题我就不写了。不过V神写得实在太好、太详细，如果直接看了他的文章就没什么思考的余地了，所以我以启发式的方式再来啰嗦一下如何构造这个东西。

首先词法分析器的理论基础就是有穷自动机和正则表达式，非常简单。接下来我列出一串我自己在写的过程中遇到的问题，如果你能解决这些问题，那你就能写出一个正宗的词法分析器 （其中一些问题我会给出提示）。理论与实践之间有些差距，你所要做的就是跨越这中间的鸿沟。

1. 有穷自动机和正则表达式完全等价，他们跟词法分析器有什么关系？