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