在图灵机中区分可识别和可判定?
当我们谈论图灵机(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 出阁宴祝福语姐姐简短