我有一個要求我描述了接受L = {a^n: n is prime}非確定性圖靈機程序的功課問題的字符串。我不確定如何去做這件事。我知道嗎？我是否使用a作爲一元數字並對它們進行計數？我可以忽略這個字符串，只是測試主要的n？或者是已知的主要值，因此只有那些單元格位置才能接受狀態，並且我可以像正常一樣讀取數據？ 我該怎麼辦？
我是Scheme的新手。我嘗試並使用PLT方案實施Rabin-Miller算法的概率變體。我知道這是隨機的，但大部分時間我都會得到錯誤的結果。我用C實現了相同的功能，並且它運行良好（從未嘗試失敗）。我在調試時得到了預期的輸出，但是當我運行時，它幾乎總是返回錯誤的結果。我使用了Wikipedia的算法。 (define expmod(lambda(b e m)
;(define re
作爲我自己的練習，我正在實施米勒拉賓測試。 （通過SICP工作）。我理解費馬的小定理，並能夠成功實現這一點。我在Miller-Rabin測試中被絆倒的部分是這個「1 mod n」業務。不是1 mod n（n是一個隨機整數）總是1嗎？所以我很困惑，因爲在我看來，「1模n的非平凡平方根」可能是「1 mod n」在處理整數值時總是1。我錯過了什麼？