簡體 English 中英

證明圖靈機接受字符串“ bb”是不確定的

[英]Proving that a Turing machine accepting the string 'bb' is undecidable

原文 2015-05-03 19:43:28 4 1 string/ turing-machines

證明確定任意圖靈機是否接受字符串“ bb”的問題是不確定的。

我覺得即使沒有圖靈機，這也應該可以判斷，因為它是有限的字符串。

1 個解決方案

查看賴斯定理，即可快速輕松地證明。

考慮一個永久在輸入aa上運行的TM。 您怎么知道它是否會停止？ 這就是為什么它不確定的原因。

圖靈機設計

[英]Turing Machine Design

字符串變量不接受“？”符號

[英]String variable is not accepting “?” sign

哈希表不接受String作為鍵

[英]Hashtables not accepting String as key

得到的字符串“ AA，BB，CC”想為“'AA'，'BB'，'CC””-我可以更聰明嗎？

[英]Got string “AA, BB, CC” would like “'AA', 'BB', 'CC''” - could I do it smarter?

Scanf不接受第二個字符字符串

[英]Scanf not accepting second char string

Switch語句不接受String變量

[英]Switch statement is not accepting String variable

在Typescript中接受字符串和字符串數組作為參數

[英]Accepting a string and a string array as parameters in Typescript

在C ++中接受空格作為字符串的問題

[英]Problem in accepting a blank space to string in c++

為什么堆棧函數不接受字符串？

[英]Why stack function not accepting a string of characters?

在需要字符串字面量的函數中接受char。

[英]Accepting a char in a function that wants a string-literal.

暫無

暫無

聲明:本站的技術帖子網頁，遵循CC BY-SA 4.0協議，如果您需要轉載，請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.

相關問題 圖靈機設計字符串變量不接受“？”符號哈希表不接受String作為鍵得到的字符串“ AA，BB，CC”想為“'AA'，'BB'，'CC””-我可以更聰明嗎？ Scanf不接受第二個字符字符串 Switch語句不接受String變量在Typescript中接受字符串和字符串數組作為參數在C ++中接受空格作為字符串的問題為什么堆棧函數不接受字符串？在需要字符串字面量的函數中接受char。

相關標簽

粵ICP備18138465號 © 2020-2024 STACKOOM.COM