12月 29

计算理论笔记

转一个学长的总结,原文http://chj-yh.i.sohu.com/blog/view/113784360.htm   第一章  导引 1、如果起始状态也是接受状态,则接受空串 。 2、计算的形式定义:    设M={……},是一台有穷自动机,w=w0w1……wn是字母表上的一个字符串,如果Q中 … Continue reading

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