PDA for equal number of as and b's where n>=1

[英]PDA for equal number of as and b's where n>=1

如何為具有相等數量的 as 和 b 的語言設計下推自動機，其中 n>=1 我知道如何為 n>=O 做到這一點，但無法為 n>=1 做到這一點 ...

包含 3 的倍數的字符串的正則表達式

[英]Regular expression for strings containing a's in multiples of 3

有人可以告訴我如何為其中 a 的數量是 3 的倍數的字符串生成正則表達式嗎？ 字母集是{a,b}。 我試着先為它構造一個 DFA，然后從中派生一個 RE。 我得到的是 ((ba*)(ba*)(ba*))*。 ...

用 DFA state 圖表示正則表達式

[英]Representing regular expressions with DFA state diagrams

我有這些正則表達式： 一） 0(10)* b) a(b+c+d) c) b*(aa*b*+ε) 我為他們創建了這些 state 圖： 他們正確嗎？ ...

PDA M 中的堆棧大小可以增長到最多容納 k 個符號。 L(M) 是什么語言？

[英]the stack size in a PDA M can grow to hold at most k symbols. What kind of language is L(M)?

PDA M 中的堆棧大小可以增長到最多容納 k 個符號。 L(M) 是什么語言？ 證明你的主張。 我認為答案是這樣的：如果語言 L(M) 最多可以容納 k 個符號，則它是一種常規語言。 由於它最多可以容納 k 個符號，因此堆棧大小是有限的。 此外，我們可以創建一個接受 L(M) 的 DFA，因 ...

正則表達式 | 自動機理論

[英]Regular Expression | Automata Theory

有誰知道以下語言的正則表達式： 以 000 開頭且不以 11 結尾的所有字符串的集合字符串長度為奇數且以 111 結尾的所有字符串的集合 L6 是以 00 結尾並包含 substring 11 的所有字符串的集合我非常感謝任何能在這個案子上幫助我的人給定案例中的 3 個正則表達式，以及如何從給定語言 ...

C++ 使編譯循環永遠存在的代碼示例

[英]C++ code example that makes the compile loop forever

鑒於 C++ 模板系統不是上下文無關的，而且它也是Turing - Complete ，任何人都可以為我提供一個使 g++ 編譯器永遠循環的程序的重要示例嗎？ 對於更多上下文，我想如果 C++ 模板系統是圖靈完備的，它可以識別所有遞歸可枚舉語言並決定所有遞歸語言。 所以，這讓我想到了驗收問題，以及它 ...

獲取嵌套函數的參數

[英]Get parameters of nested functions

我正在嘗試在 Java 中實現解析器來提取某些函數的參數。 當我有這樣的功能時： 我只是可以簡單地使用正則表達式來提取參數。 但我所有的功能都不是那樣的。 如果我有一些嵌套函數，例如： 我想獲得： 我嘗試使用正則表達式，但我認為語言不規則。 另一種方法是按','拆分，但效果不佳。 ...

TOC 問題：上下文無關文法設計

[英]TOC Problem : Context Free Grammar Design

我想為定義的語言設計 CFG L = { w | {a,b,c}* 其中 w= a^ib^jc^k 和 i+j>k } i+j=k 的情況很簡單，但是我不知道 i+j>k 的情況。 ...

如何 L={ww^Rx| 其中 w, x 屬於 {a,b}^* } 是常規語言？

[英]How L={ww^Rx| where w, x belongs to {a,b}^* } is a regular language?

我知道 L={wxw^r|w,x belongs to {a,b}^* } 是規則的，因為它原來是以相同符號開始和結束的模式，但我沒有得到正確的解釋How to say L={ww^rx|w,x belongs to {a,b}*} 是使用DFA設計的正則語言。 請幫助我理解這一點！ ...

設計一個圖靈機來接受 {1^n: n is prime number}

[英]Design a turing machine to accept {1^n : n is prime number}

設計一個圖靈機來接受 {1^n: n is prime number}。 我有這個家庭作業來制作一個識別器圖靈機，如果 1 的出現等於任何質數，它將被接受。 到目前為止，我仍然不知道如何找到與這個素數相關的解決方案。 我應該怎么go一下這個？ ...

在上下文無關語法中，我們是否在替換過程中替換所有變量？ 或者我們可以將替換規則僅應用於相同類型的變量嗎？

[英]In Context Free Grammer, do we replace all variable during a substitution? or can we apply substitution rule to only of the variable of same type?

假設我們有一個 Context Free Grammer，CFG，如下： S -> 一個...(1) S -> SS...(2) 我用指定的語言導出一個字符串，如下所示： S..開始 state SS..使用 (2) aS...using (1) <- 這有效嗎，就像只 ...

a = b 和 c = d（長度）的 CFG

[英]CFG for a = b and c = d (length)

我知道如何為具有相同a和b計數或具有相同計數c和d的字符串構造上下文無關語法： 但是，我不知道如何為a和b的計數相同以及c和d的計數相同的字符串創建語法。 對於cadbdabc這樣的字符串，我的嘗試失敗了，其中配對彼此之間（例如： c, <a>, d, <b> ）。 所以， ...

是在編程語言中聲明的變量**終端**符號或**非終端**符號

[英]are the variables declared in programming language **terminal** symbols or **non-terminal** symbols

我對計算理論和自動機有疑問。 是在編程語言終端符號或非終端符號中聲明的變量。 ...

從上下文無關語法生成字符串時如何防止重復

[英]How to prevent duplications when generating strings from context free grammar

我需要定義上下文無關語法並從這種語言生成字符串。 包含所有帶有匹配括號的字符串的語言的語法： 示例： (), ()(), (()),… 為了生成字符串，我使用通常的廣度優先搜索。 根是s 。 生產規則是邊緣。 每個終端節點都是一個字符串。 問題：在某些時候存在節點： sss 。 從這個節點存在 3 ...

自動機理論與動態規划的關系

[英]Relationship between Automata theory and Dynamic programming

我正在學習自動機理論。 我認為state機器理論和動態規划之間一定有某種關系。 因為動態規划的本質是state轉移方程。 自動機理論也處理不同狀態之間的轉換問題。 此外，由於我們可以通過使用state機器的方法來分析字符串匹配算法，所以我隱約認為state機器也可以幫助我們更清楚地理解DP。 但是， ...

如何證明一種語言是可判定的或不可判定的？

[英]How to prove that a language is decidable or undecidable?

給定語言 L 證明L不可判定或可判定我有點困惑，我知道幾種不可判定和可判定的語言（Atm、Etm、EQtm、STCON、IMPLICATION、AMBIGUITY 等等......）但我想不出一個策略來制作 function 那個 map 我的問題到上面列出的問題之一，以證明 L 是不可判定的或可 ...

模棱兩可的 CFG 是否可以轉換為 GNF？

[英]Is it possible for an ambiguous CFG to convert into GNF?

因此，我正在研究如何將 CFG 轉換為 GNF，並嘗試使用我的名字中的字母來實現，因此生產規則如下：- A->AkS|SA S->AtA 其中 S,A 是非終結符，k,t 是終結符，但這是一個模棱兩可的 CFG，那么我們可以將其轉換為 GNF 嗎？ ...

自動機 - 正則表達式（Union Case）

[英]Automata - Regular Expression (Union Case)

自動機 1) 識別至少有 2 個 a 的字符串正則表達式 = b*ab*a(a+b)* 自動機 2) 識別至少有 2 個 b 的字符串正則表達式 = a*ba*b(a+b)* 從A3 = A1 U A2得到的正則表達式等價於R3 = R1 + R2？ 或者不是？ R3 = b*ab*a(a+b) ...

是否有兩個狀態 TG 接受來自 {a, b}* 的所有輸入字符串，這些字符串不在 EVEN-EVEN 中？

[英]Is there a two state TG that accepts all the input strings from {a, b}* that are not in EVEN-EVEN?

我是有限自動機和轉移圖主題的新手。 我有一個測驗，詢問是否有一個雙態 TG 接受來自 {a,b}* 的所有字符串，這些字符串不是 EVEN-EVEN（具有偶數個 a 和偶數個 b 的語言）。 請解釋這是否可能。 ...

將 CFG 轉換為正則表達式

[英]converting CFG to regular expression

這是一個 CFG，它生成 0、1 或 0 和 1 這樣排列的字符串(001, 011) ，其中一個字符的計數必須大於另一個，例如00011111或00000111 。 我嘗試使用本指南將其轉換為正則表達式，但我被0S1 ，因為我在轉換0S1遇到了麻煩，因為在該指南中找不到與它類似的任何內容。 ...