旧日志备份

Sunday Feb 11, 2007

习题6 上下文无关文法

形式语言与自动机，王柏 杨娟，北京邮电大学出版社 第二章习题6
构造上下文无关文法产生L={w|w属于{a,b}* , 且a的个数是b的两倍}








答： S->aXaXb, S->bXaXa, S->aXbXa,
X->aXaXb, X->bXaXa, X->aXbXa, X->e (e表示空串)
思路：S中任意位置可以是a或b或e（开始，中间，结尾），且a的个数是b的两倍——注意S不能为e，故引入非终结符X。

Posted at 11:43PM Feb 11, 2007 by nok in testing | Edit | Comments[0]

右线性文法习题

形式语言与自动机，王柏 杨娟，北京邮电大学出版社 第二章习题5

找出右线性文法，能构成具有奇数个a和奇数个b的所有a和b组成的字符串。

答：右线性文法的形式是A->wB或A->w, 所以从S开始，第一个字母是a或b：


S->aA, (1)

S->aB, (2)

因为S只能包含奇数个a，所以A中只能有偶数个a，限于右线性文法，需引入非终结字符X：

A->aX, (3)

X->aA, (4)

X->a, (5)

A->e, (e表示空串） (6)

同时A也可以包含奇数个b，因为S有奇数个b，根据(2)构造：

A->S, (7)


同理构造B:
B->bY, (8)

Y->bB, (9)

Y->b, (10)

B->S, (11)

B->e (12)


综合(1)～(12)，就是所求文法的生成式P。

能不能再精简呢？

Posted at 09:33PM Feb 11, 2007 by nok in testing | Edit | Comments[0]

Saturday Dec 23, 2006

最近装的Firefox插件

• Firefox showcase：一个添加各个tab页缩略图的超有用插件，试想一下，你已经打开了20+个tab，而你又像我一样从来不爱关掉工作用的PC，于是打开 的tab越积越多，要快速找到某个标签页或者整理一下，你一定会抓狂的，直到你安装了showcase...
• POW 不是战俘，是Plain Old Web server，这是个运行在浏览器里的Web Server，货真价实，而且还能编服务器端脚本（没错，就是javascript）。干嘛用，别人我不知道，我用来做自动配置proxy，只要你喜欢编 程，你会喜欢这个小玩意的，你可以玩AJAX！
  
  

POW 0.07有个中文化的bug，导致你打不开option，没关系很容易改，看这儿。

javascript API ref: http://linuxmafia.com/faq/Web/autoproxy.html

Posted at 07:28PM Dec 23, 2006 by nok in General | Edit | Comments[0]

Tuesday Dec 19, 2006

wget with cookie

去otn下载软件还要登录，下载又断断续续，不得已请出wget，看看他的功力：

wget -b -t0 -c －－cookies=on －－load-cookies cookies.txt http://download-west.oracle.com/otn/linux/oracle10g/10201/XXXX.cpio.gz

嘻嘻，搞定！和去sun下载不同的是，sun在url里直接放了sessionid，所以不用那个cookie.txt（我从firefox的目录里拷出来放到另一台wget实际运行的机器里，空间大，又有UPS)。

Posted at 01:47PM Dec 19, 2006 by nok in testing | Edit | Comments[1]

Monday Dec 18, 2006

我有多怪异"nerdy"?

虽然不知道nerd的确切来源，但说一个有理工科背景的人有多怪异，基本上就可以用nerdy来形容。我有多nerdy，我是不是nerd，我不知道，在一个留美博士研究生的一个weblog里，看到一个测试你有多nerdy地链接，犹豫了一下，对题目忍不住好奇就点进去做了测试，没想到，比那个博士生的分还高，还怪异。





后记：实际上，分数越高越不nerdy.

Posted at 02:26AM Dec 18, 2006 by nok in General | Edit | Comments[0]

Friday Dec 08, 2006

用touch解决make的问题

make的时候部分文件修改时间比系统时间晚，导致出现死循环，把所有文件重新touch一下：

find . -depth -print0 | xargs -0 touch -mc

命令串起来就像文字串起来，跟计算机说话的感觉不错 :)

Posted at 02:27PM Dec 08, 2006 by nok in testing | Edit | Comments[0]

Sunday Nov 26, 2006

tor+privoxy设置

真的很讨厌，ubuntu 610下privoxy的默认设置不会自己加上使用tor，需要手动设置。按照tor的README.privoxy修改/etc/privoxy/config即可。 没有tor查资料还真麻烦，很不爽！



补充一个小技巧，适用于netscape/mozilla/firefox/iceweasel系列浏览器：

• 为了自动使用proxy来访问某个网站，其它网站使用直接连接，在自动配置proxy的选项中可以指向一个自动配置文件：

这个文件是个javascript脚本，内容如下：

function FindProxyForURL(url, host)
{
if (dnsDomainIs(host, ".wikipedia.org"))
 return "PROXY localhost:8118"; 
else
 return "DIRECT";
 
}

具体语法参看我google到的一个网页。

Posted at 11:51AM Nov 26, 2006 by nok in Politics | Edit | Comments[1]

Monday Nov 06, 2006

Sybase and Tomcat Configuration Notes

测试需要，为Roller配置使用Sybase数据库。这里是我创建的wiki页。 http://rollerweblogger.org/wiki/Wiki.jsp?page=Roller2.3InstallationWithSybase

Posted at 10:35AM Nov 06, 2006 by nok in testing | Edit | Comments[0]

Tuesday Oct 31, 2006

飘飘飘

Posted at 06:29PM Oct 31, 2006 by nok in General | Edit | Comments[0]