12月 29

计算理论实验--CFG是P成员

计算理论第二个实验,比第一个复杂,本机测试通过,可是ACM上总是说我的结果是错误的。郁闷中..   算法是动态规划,按照书上的伪码描述写出代码,不过还不理解为什么算法可行。关于伪码描述,可以在这里查看:CFG是P成员。 Problem description 上下文无关文法CFG G是否派生某个串W。采用动态规划(Dynamic … Continue reading

12月 29

计算理论实验—ADFA的可判定性

计算理论实验要求在ACM系统提交,头一次用ACM做实验,本机测试对的提交之后却得到错误的结果,相当的郁闷,不过还好,后来在同学的帮助下解决了,顺利AC。   实验题目: ADFA={<B,w>|B是DFA,w是串,B接收w},证明:ADFA是可判定的。 编写一个算法/程序,对于给定的输入<B,w>,可以判 … Continue reading

12月 19

win8激活记

喜欢用新软件,可是比起尝鲜派经常是慢半拍。 win8消费者预览版出来时,在虚拟机里玩了下,没几天就删掉了。然后发行预览版又出来了,虚拟机里玩了玩,也没想要装真机上。 最近看到kms+wmc激活win8 pro的方式,于是心血来潮下载了msdn win8正式版镜像,在虚拟机里把win8 发行预览版升级到了win8专业版,可是kms激活时一直 … Continue reading

12月 12

可以替代Dreamweaver的可视化免费网页编辑器

平时有人找我装软件或者装系统,实话说是有些不解,特别是还有本专业的,windows下面装软件真的比较傻瓜了,基本是一路Next,为什么不自己动手呢?不过仔细想想,很多专业软件都是要破解的,大概一些懒人不愿意自己搜破解方法吧。如果付费安装,不需要到处找KEY或者破解,那安装起来就简单了。 现在的中国,很少有人愿意为软件付费,既然不愿意付费, … Continue reading

12月 12

用fireshot将长网页保存成图片

有时候需要将整个网页保存成图片,可是一般的截图工具,比如qq截图, 无法实现大于一屏的网页截图。我以前的做法一般是分几次截图,然后用画图工具拼接,这样做既麻烦又不精确,有时候有可能两次截图的宽度不一样。 其实有些工具可以方便的实现整个页面截图,比如Firefox的插件 fireshot。 fireshot的官方介绍为: Capture w … Continue reading

12月 07

MinGW安装mintty终端

msys的cmd界面太难看了,而且不能用鼠标直接选择文本复制,可以安装mintty这个虚拟终端。   然后在MinGW-Shell的启动选项里加入 –mintty   然后打开的效果:   然后在终端内右键,Option,可以设置显示效果,窗口大小,编码等。

12月 07

MinGW中wget中文乱码

在mingw中安装wget使用命令: 安装完成之后执行wget命令显示的是乱码: 而其他命令一般是英文显示,看来mingw上的wget是打算支持中文,但是支持的不好,成了乱码。安装mintty终端之后,设置编码为utf-8,中文显示正常了,但是ls后中文目录又成乱码了。 麻烦,不折腾了,直接用英文显示好了。找到/share/local/z … Continue reading

12月 07

MinGW中文显示乱码

msys的bash中不能输入中文,ls中文目录显示也为???,可以修改配置文件来解决。 在msys/1.0/etc/inputrc.default,修改以下代码为: 在修改/home/你的用户名/.inputrc,和上面的一样。然后就可以输入中文。 要显示中文,修改/etc/profile,添加下面一行: 然后就可以显示中文了。