12月
29
计算理论笔记
转一个学长的总结，原文http://chj-yh.i.sohu.com/blog/view/113784360.htm 第一章 导引 1、如果起始状态也是接受状态，则接受空串 。 2、计算的形式定义： 设M={……}，是一台有穷自动机，w=w0w1……wn是字母表上的一个字符串，如果Q中 … Continue reading
Monthly Archives: 12月 2012
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月
14
Matlab调整帮助文字大小
matlab r2009a，帮助文字小的看不清，可以在文件，首选参数，字体，自定义中修改，如下图所示： 英文版为： Select File > Preferences > Fonts > Custom. From the Desktop tools list,select HTML Propo … 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-get install mintty 然后在MinGW-Shell的启动选项里加入 –mintty 然后打开的效果: 然后在终端内右键,Option，可以设置显示效果，窗口大小，编码等。
12月
07
MinGW中wget中文乱码
在mingw中安装wget使用命令： mingw-get install msys-wget 安装完成之后执行wget命令显示的是乱码: $ wget --help GNU Wget 1.12锛岄潪浜や簰寮忕殑缃戠粶鏂囦欢涓嬭浇宸ュ叿銆▒ 鐢ㄦ硶锛▒ wget [閫夐」]... [URL]... 闀块€夐」鎵€蹇呴』鐨勫弬鏁板湪浣跨敤鐭 … Continue reading
12月
07
MinGW中文显示乱码
msys的bash中不能输入中文，ls中文目录显示也为？？？，可以修改配置文件来解决。 在msys/1.0/etc/inputrc.default，修改以下代码为： # disable/enable 8bit input set meta-flag on set input-meta on set output-meta on set c … Continue reading