automata

    5熱度

    1回答

    我試圖理解上下文敏感的語法,我明白了爲什麼語言,像 {WW | w是一個字符串} {一個Ñ b ÑÇÑ | A,B,C是符號} 是不是免費的情況下,但我想知道,如果類似無類型演算語言是上下文敏感的。我希望看到一個簡單但非玩具的例子(我認爲上面的玩具例子)是一個上下文敏感語法的例子,它可以針對某些生產規則,例如告訴某些符號串目前在範圍內(例如,當生成函數的主體時)。上下文敏感的語法是否足夠強大,使得

    4熱度

    1回答

    我需要一些幫助,決定是否給定的語言是有規律的,或沒有上下文上下文。答案中簡短的非正式解釋就足夠了,因此不需要使用抽象引理。 可以說我有以下lanugages: L1 = { w ∈ {a, b, c, d}* | #a(w) is even, #b(w) = 1 mod 3, w does not have a substring abc } L2 = { w ∈ {a,

    0熱度

    1回答

    儘管這是對this的重新評估,但我正在談論設計PDA。 現在,我知道我錯了,因爲這是一個廣爲人知的例子,但我在下面的PDA設計中出了什麼問題? 我要接受語言{a^n b^n c^n: n>=0} 每次我遇到一個a時間推棧上的兩個1的,彈出一個用於b,並彈出一個用於c和檢查,如果我有一個空棧。 我所定義的轉換函數(最小)爲: (q0, a, Z) = (q0, 11Z) (q0, a, 1) = (

    0熱度

    2回答

    如果L是一種語言定義爲: L = { awa | w ∈ {a, b}* }, 是aa語言L的字符串? (注意w這裏是空字符串)

    3熱度

    1回答

    什麼是用於檢查Kripke結構上的不變量的(僞代碼)算法,以便在不變量被違反的情況下,算法返回的反例具有最小長度?

    1熱度

    1回答

    如果我想匹配1和0的任意組合中不包含「01」的所有字符串,我該怎麼做?我知道如何找到這個模式是否在字符串中,但是如何找到不包含這種模式的匹配?由於

    5熱度

    3回答

    我對這個東西真的很陌生,所以我爲這裏的無所不在而道歉。 構建一個Deterministic Finite Automaton DFA識別下列語言: L= { w : w has at least two a's and an odd number of b's}. 的自動執行此(at least 2 a's, odd # of b's)的每一部分都容易使分開......任何人都可以請解釋一個系

    3熱度

    2回答

    有沒有這樣的事情? 像例如,S - > ASB | ^(可能的話:^,AB,AABB,AAABBB,aaaabbbb,...) 從我所獲悉,密切配合上述語法唯一的正則表達式是:A * B * 但正則表達式可以產生諸如aab,abb等詞,其中a和b不相等。 有沒有解決方案?喜歡的東西:A * B *如果#A#B = 編輯:我覺得沒有解決這個。 這是什麼正確的解釋?這實際上是我家庭作業的一部分,我真的

    1熱度

    1回答

    「半正規」的語法是一個只允許形式的規則: X → y X → y Y X → Y y ,其中X和Y是任何一個非終端, x和y是任何單個終端。 例如,這是一個語言的半規則語法+ B + S → a S S → a A A → A b A → b 得到半規則語法其語言不是常規語言的一個例子。一定要說出語言是什麼以及它爲什麼不規則。

    1熱度

    1回答

    我現在有一個(自然語言)語料,而這些已經採取的步驟: 產生的符號表串聯胼成一個大文件後: $ ngramsymbols <corpus.txt >corpus.syms 鑑於此符號表中,轉換的語料庫以二進制FST歸檔(FAR): $ farcompilestrings -symbols=corpus.syms -keep_symbols=1 corpus.txt > corpus.far