摘要：
称两个正整数是互素的，当它们没有大于1的公因子的时候。比如，4与9就是互素的，尽管4与9都不是素数，但4与9只有一个公因子：1，所以它们互素。但4与22就不是互素的，因为它们有一个大于1的公因子：2。 你的任务，给你2个数，判断它们是否互素。 有多个测试序列，测试结束于测试文件结束； 每个测试序列占 阅读全文
摘要：
上下文无关文法CFG G是否派生某个串W。采用动态规划（Dynamic Programming）设计一个一个多项式时间的验证算法。 实验方法： 编写一个算法/程序，对于给定的输入<g,w>，可以在多项式时间内判定ACFG。 实验结果: 交一个程序验证。 输入第一行为一个正整数n，接下来n行为一个满足 阅读全文
摘要：
ADFA={< B,w >|B是DFA，w是串，B接收w}证明：ADFA是可判定的。 实验方法:编写一个算法/程序，对于任意给定的输入<b,w>，可以判定ADFA。 有多个测试序列，测试结束于测试文件结束； 每个测试序列的第一行为几个正整数n m t a分别表示有n个状态，从a开始m个小写字母组成的 阅读全文