在图灵机中区分可识别和可判定?
当我们谈论图灵机(TM)时,它可以接受输入、拒绝输入或保持计算,这称为循环。
现在,当且仅当图灵机接受字符串时,当提供的输入位于语言中时,语言才是可识别的。
此外,如果TM终止并拒绝字符串或根本不终止,则可以识别语言。这意味着当提供的输入不在语言中时,TM继续计算。
然而,当且仅当有一台机器在提供的输入位于该语言中时接受字符串并在提供的输入不在该语言中时拒绝该字符串,该语言才是可判定的。
例子
A={hM,wi|M是一个DFA并且w∈L(M)}是可判定的。
A={hM,wi|M是一个TM并且w∈L(M)}是可识别的。
车床中可识别和可判定之间的主要区别如下-
热门推荐
10 财运虎年祝福语简短语
11 单亲爸爸春节祝福语简短
12 狗狗上厕所训练
13 植物种植祝福语简短
14 翻译考试祝福语朋友简短
15 个人周年庆简短祝福语
16 狗狗怎么训练
17 分别祝福语简短搞笑英文
18 生日广州男生祝福语简短