12月
29
计算理论笔记
转一个学长的总结，原文http://chj-yh.i.sohu.com/blog/view/113784360.htm 第一章 导引 1、如果起始状态也是接受状态，则接受空串 。 2、计算的形式定义： 设M={……}，是一台有穷自动机，w=w0w1……wn是字母表上的一个字符串，如果Q中 … Continue reading
Tag Archives: 计算理论
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