首页 > TAG信息列表 > 可判定性
可判定性读书笔记 (2)
「 图灵机识别语言是否为空 」不可判定 所有证明都偷自 《计算理论导引》(Micheal Sipser) \[E_{TM} = \{ \lang M \rang ~|~ L(M) = \empty \} \]$ E_{TM}$ 是不可判定的，证明思路还是反证，假设存在 \(R~decide~E_{TM}\)，用 \(R\) 构造 \(S\) 使得 \(S~decide~A_{TM}\) 这里构造的思可判定性读书笔记 (3)
「 图灵机识别语言是否正则 」不可判定 所有证明都偷自 《计算理论导引》(Micheal Sipser) 正则图灵机不可判定 \(REGULAR_{TM}~is~undecidable\) \[REGULAR_{TM} = \{ \lang M \rang ~|~ L(M) ~is~regular\} \]证明思路：假设 \(R\) 判定 \(REGULAR_{TM}\) ，构造一个 \(S\)： \[ S~dec3 - 可判定性 -- Decidability
Source： decidable language, lecture, CoCo, UCPH, DIKU, 2021. Introduction of Theory of computation, Michael Sipser.测试用例设计的原则是什么？目前主要的测试用例设计方法有哪些？
代表性：能够代表并覆盖各种合理的和不合理、合法的和非法的、边界的和越界的、以及极限的输入数据、操作和环境设置等. 可判定性：即测试执行结果的正确性是可判定的，每一个测试用例都应有相应的期望结果. 可再现性：即对同样的测试用例，系统的执行结果应当是相同的。 方法有等价类、边界测试用例设计的原则是什么？目前主要的测试用例设计方法有哪些
代表性：能够代表并覆盖各种合理的和不合理、合法的和非法的、边界的和越界的、以及极限的输入数据、操作和环境设置等. 可判定性：即测试执行结果的正确性是可判定的，每一个测试用例都应有相应的期望结果. 可再现性：即对同样的测试用例，系统的执行结果应当是相同的。 方法有等价类、边界