automaton

    2熱度

    2回答

    維基百科指出確定性狀態自動化「爲每個輸入字符串生成自動機的唯一計算(或運行)」。 我一直認爲這是因爲只有1個可能的路徑來計算任何唯一的字符串。在這種情況下,以下是DSM。 但是現在我正在反思這一點,並將描述解釋爲每個輸入字符串都有一個可能的路徑,並且該路徑對所有其他輸入字符串都是唯一的。在這種情況下,以下不是DSM,因爲'11'和'12'遵循相同的路徑。 所以我的問題是,下面是DSM或NDSM?

    0熱度

    2回答

    這裏是我的元胞自動機的代碼我的工作: public class Life1D { private Rule rule; private int stepCount; public static void main (String [ ] args) { Life1D simulation = new Life1D (); simulat

    2熱度

    2回答

    我想在mathematica中創建一個模塊,該模塊在自動機是確定性或非確定性時返回。 我在考慮如果有兩個轉換開始於相同的狀態並讀取相同的符號或者如果存在空的轉換,則自動機不是確定性的。 欲調試代碼,但我不能: isDeterministic[au_] := Module[{a, s}, For[i = 1, i <= Length[au[[3]]], a = au[[3]][[

    2熱度

    2回答

    我是學生,在編程課程中我們必須學習Haskell。所以我是新手,並沒有那麼多的經驗。此外,我不熟悉在論壇中發佈問題。 所以首先我將張貼在圖書館,我有工作。 (DA:確定性自動機) type State = Integer type DA = (State, State -> Char -> State, State -> Bool) type ListDA = (State, [((State

    1熱度

    2回答

    我正在做兩個自動機(實際上它是一個傳感器)的組成。因此,我想直觀地表示它來分析它。 哪一個是最好的工具/庫相同? 人們建議我點和graphviz。哪個更好?我在OCaml中編寫代碼。這有沒有圖書館來繪製? 這是我想繪製的示例換能器嗎?

    0熱度

    1回答

    我正在嘗試使用TAP(測試任何協議)作爲我們的測試結果格式。但是,有些日誌文件需要附加到測試結果。我正在尋找一個良好的做法來實現這一目標。 例如,我有一個水龍頭文件和兩個日誌文件:a.log,b.log 1..1 ok 1 - sample.MyFirstTest#testCurrentTime --- message: Hello logfile: a.log,

    10熱度

    1回答

    我做用於自動機理論的分配,這是我必須確定是否一個字由一個過渡函數的確定性有限自動機 我接受或不不確定性有這樣的輸入的文件: 6 8 0 2 2 5 0 0 a 0 1 a 1 1 b 1 2 c 1 3 c 3 4 d 4 4 d 4 5 d 3 aaabcccc aabbbbcdc acdddddd 輸入開始與4點的整數,第一是狀態自動機的數目,其次是自動機的轉換

    5熱度

    3回答

    我正在做一個模擬非確定型有窮自動機的任務,就像我在這裏解釋的post。我有這個輸入從文件讀tarea4.in: 1 6 8 0 2 2 5 0 0 a 0 1 a 1 1 b 1 2 c 1 3 c 3 4 d 4 4 d 4 5 d 5 aaabcccc aabbbbcdc abbcdddcc acdddddd abc 輸入的第一行是一個整數T,表示病例數來

    1熱度

    1回答

    有一段時間,我試圖做一個模擬非確定性有窮自動機(NFA)的程序,更具體地說,是一個字符串識別器。經過多次失敗,由於用戶Konrad Rudolph,我可以實現基於這種僞代碼的解決方案: 那麼,在NFA你有一組當前狀態,並在每個步驟中,您經歷的所有的當前狀態,併爲每個選擇所有有效的轉換。這些組合集合形成你的新狀態集。 最後,檢查當前狀態和接受狀態的交集是否非空。 在僞代碼這看起來如下: curren

    0熱度

    1回答

    我想知道dk.brics.automaton支持哪些元字符。 它甚至不支持.運算符嗎?當我給a.b時,它會進入無限循環,直到Err: OutOfMemory。 除了與.相同的用途,還有其他選擇嗎? 如果您有關於哪些運營商支持dk.brics.automaton的想法,請在此幫助列出它們。