non-deterministic

2熱度

2回答

如何使用非確定性圖靈機顯示語言對上下文敏感？我知道線性邊界自動機（LBA）接受的語言是一種上下文敏感語言。而LBA是一個非確定性的圖靈機。任何想法如何將所有這些聯繫起來，並顯示語言是上下文敏感的？

2熱度

1回答

我使用Selenium和PHPUnit，有時測試失敗，錯誤情況似乎是由瀏覽器忽略clickAndWait調用引起的。測試執行通過clickAndWait命令沒有太多延遲（即使我設置了一個較大的超時），並且下一個斷言或元素訪問失敗;如果我製作截圖，則會顯示上一頁，就好像點擊命令根本沒有發生過一樣。這會發生在鏈接和提交按鈕（正常，無javascript:或類似的欺騙），無法確定。它似乎比某些控件更多地

4熱度

1回答

非確定性輸出的CUDA調試程序

我在我的Ubuntu 10.10 64位系統上調試基於CUDA 4.0/Thrust的圖像重構代碼，並一直試圖弄清楚如何調試此運行時錯誤我有我的輸出圖像出現一些隨機「噪音」。我的代碼中沒有隨機數生成器輸出，所以我期望輸出在運行之間保持一致，即使它是錯誤的。然而，它不是... 我只是想知道是否有任何人有一個調試CUDA運行時錯誤，如這些一般程序。我在我的cuda內核中沒有使用任何共享內存。我努力避免

0熱度

1回答

如何將用戶提供的類文件審覈爲黑名單包，類和方法

我正在處理一個承載用戶定義的存儲過程（作爲Java類文件提供）的應用程序。這些程序需要是確定性的，我想黑名單列出不確定性來源的各種軟件包和方法。我查看了java.lang.Class和javax.tools。*中的可用內容。它看起來像我可以使用java.lang.Class審計成員，方法參數和返回類型。但是，要審計方法內容，它看起來像我將不得不分析原始類文件。還有像我需要審計的靜態初始化塊和成

4熱度

3回答

Mercury：如何聲明高階數據類型的確定性？

當我編譯下面的代碼水星，我得到這個錯誤從編譯器： In clause for `main(di, uo)': in argument 1 of call to predicate `test_with_anonymous_functions.assert_equals'/5: mode error: variable `V_15' has instantia

19熱度

2回答

爲什麼併發haskell不確定，而並行haskell原語（par和pseq）是確定性的？

在Haskell中併發性和並行性的背景下，不太明白決定論。一些例子會有幫助。謝謝

6熱度

2回答

如何幹淨地轉換列表和ListT monad變換器？

我目前正在撰寫一個項目，我大量使用ListT monad變壓器。使用普通列表時，實現非確定性非常容易。然而，一旦我不得不將我的代碼轉換爲ListT，它就變得更加複雜了。舉個簡單的例子：從[a]到ListT a實際需要合成的兩種功能轉換： conv :: (Monad m) => [a] -> ListT m a conv = ListT . return 雖然很簡單，我很驚訝這不是已經存在

1熱度

1回答

非確定性有限自動化問題

我正在做一些研究，並且當它處理1時，我對這個小的不確定性算法有點困惑。我知道它會用q1分成一個品牌，因爲0或1會重新導向回來， q2的退出箭頭是1，但爲什麼會分成q3？我覺得我會誤解（0，空字符串），任何澄清都會很棒。

2熱度

2回答

XML架構內容模型不確定

我遇到了xml架構問題。首先，我想告訴你的XML的可能情況： 1. <arrivalDate>01.01.2012</arrivalDate> 2. <arrivalDate>01.01.2012</arrivalDate> <departureDate>04.01.2012</departureDate> 3. <arrivalDate>01.01.2012</arrivalDate

4熱度

2回答

haskell中的公平併發`map`函數？

說我模擬某種形式的網絡，並且具有在陳平的列表廣播值的函數： broadcast :: a -> [Receiver] -> IO() broadcast a = mapM_ (send a) 爲了這「送」的數據，每個接收器。相反，我想不確定地向所有的接收者進行廣播。感謝您的任何線索。