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 做到這一點 ...

Databricks 開發團隊的集群數量的行業標准是什么？

[英]What is the industry standard for number of clusters for a development team in Databricks?

我是一個由 5 名開發人員組成的團隊的一員，他們在 Azure Databricks（基本上是數據科學和數據工程的結合）中收集數據、轉換、分析和預測數據。 到目前為止，我們一直在處理相對較小的數據，因此 5 人團隊可以輕松地使用具有 8 個正在開發的工作節點的單個集群。 盡管我們有 5 個開發人員 ...

使用帶抽水引理的設定長度串來證明不規則性

[英]Using string of set length with pumping lemma to prove irregularity

我想到了這個證明，我不太確定它是否有效。 假設您必須證明以下語言的非正則性： A = { 0^n 1^n 2^n | n>= 0 } 我設計的證明選擇了一個屬於該語言的字符串，例如 012，並表明它如何划分並不重要，泵引理並不完全令人滿意（我可以張貼整個證明，但帖子很冗長這是）。 然而，根 ...

正則語言在拼接和星型操作下的閉包性

[英]Closure property of regular languages under concatenation and star operation

在我們的計算理論課程中，我們已經在交集、並集和補集下證明了正則語言（L1，L2）的閉包。 但是它們在 concatenation(L1L2) 和 star(L1*) 操作下的閉包沒有完成。 如果有人能向我解釋我們如何證明這兩個，那就太好了。 提前致謝 ...

如果給出了語言定義，如何生成無限制語法

[英]How to generate an Unrestricted grammar if a language defination is given

如何構造生成 L = {a^ib^jc^k^d^l: i not equal to k AND j not equal to l} 的無限制文法。 a 是 i 的冪，'b' 是 j 的冪，'c' 是 k 的冪，'d' 是 l 的冪。 我對常規和 CFG 很好，但由於不受限制的語法可以在生產的左側包 ...

設 L 是 {a,b} 上的一種語言，它包含相同數量的 a 和 b。 以下哪種語言是正規的？

[英]Let L be a language over {a,b} that contains the same number of occurrences of a and b. Which of the following language is regular?

( https://i.stack.imgur.com/lU278.png ) 為什么選項 C 也不正確？ ...

語言的下推自動機 w∈{0,1}*}

[英]Pushdown Automata for the Language {wwR | w∈{0,1}*}

我目前正在我的大學學習計算理論的本科版本，我們正在討論下推自動機、圖靈機和丘奇-圖靈論文。 在我們的家庭作業問題集中，我的教授問了以下問題： 為 {wwR | 語言構造一個 PDA w∈{0,1}*}。 然而，在我們的 class 演講幻燈片中，他寫了以下內容並非每個非確定性 PDA 都有等效的 ...

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

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

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

構造一個圖靈機，每隔一個輸入符號刪除一次，然后將剩余的字符串合並為一個沒有空格的字符串

[英]Constructing a Turing Machine that deletes every second input symbol and then merges remaining string into a string with no blank gaps

輸入示例：010101、output:000 輸入示例：10011、output:101 輸入示例：11101101、output：1110 在為這個問題繪制 state 圖時，我對如何合並輸入符號感到困惑。 我已經看到其他人演示了當字母表由一個符號組成時如何連接，但是，在我的例子中，我必須檢查我是 ...

$O(2^{o(n)}) = O(2^n)$？ 2美元的力量有一點點

[英]Is $O(2^{o(n)}) = O(2^n)$? The power of $2$ has a little-o

在 NP 難題的復雜性分析中，我被困在這個術語上。 $O(2^{o(n)})$ 尤其是： O(2^{無(n)})+O(2^{o(n)}) 我最終得到了一個答案 $O(2^n)$ 等於 $O(2^{o(n)}) = O(2^n)$ 通過考慮 $o(n)$ 作為 $ n$。 任何帶有簡短證明的推進都 ...

為以下語法構建 CNF 並解釋步驟。 S→aAa | bBb |€, A→C|a, B→C|b, C→CDE | €, D→A|B|ab

[英]Construct the CNF for the following grammar and explain the steps. S→aAa | bBb |€, A→C|a, B→C|b, C→CDE | €, D→A|B|ab

S→aAa | bBb |€, A→C|a, B→C|b, C→CDE | €, D→A|B|ab 在這我認為 E,C,D 是沒用的，但如果我們刪除這些，那么這個問題就沒有意義了，所以我堅持什么有用，什么沒有，最終如何將它轉換成 CNF ...

NFA 語言之星 (01 U 001 U 010)*

[英]NFA for the star of a language (01 U 001 U 010)*

此 pdf第 5 頁的問題。 給出一個識別語言的 NFA (01 U 001 U 010)* 我認為這是錯誤的，因為開頭的空字符串應該有一個額外的開始 state （接受）到 state 1 。 這就是在 Sipser 中證明星下閉包的方式。 我錯過了什么嗎？ 我認為應該是這樣的： ...

Python中的反轉計數算法實現，無法解壓不可迭代的int object

[英]Inversion Counting Algorithm implementation in Python,cannot unpack non-iterable int object

這是我使用分而治之的方法實現反轉計數算法，我遇到的問題是它一直說存在類型錯誤，無法解壓縮不可迭代的 int object，在第 45 行和第 10 行 A 是未排序的列表 B 是已排序的數組左半部分 C 是排序后的數組右半部分 D 是合並和排序的數組 X, Y 分別是數組左/右半部分的反轉數 Z ...

是否有一種數學上最優的方法來並行化給定的算法？

[英]Is there a mathematically optimal way to parallelize a given algorithm?

假設我們有一個包含多個步驟的算法，並且每個步驟都可以並行化。 給定一定數量的 CPU 內核，是否有一種數學上最佳的方法來在內核上進行拆分。 鑒於有多種方法可以沿多個維度拆分事物，您如何選擇 go 的切片？ 這背后是否有完善的數學/ CS理論？ ...

在 Haskell 中編寫 lambda 演算高階遞歸方案

[英]Writing lambda calculus higher order recursion scheme in Haskell

[我在這里有新的理由，可能有一些模棱兩可] 考慮遞歸器（它是對更高類型的原始遞歸的概括） 其中 R 是 sigma 類型，A 是 sigma 類型，B 是 sigma -> N -> sigma 類型，C 是 N 類型。 如果我們將 sigma 的類型設為自然數，則遞歸是原始遞 ...

什么是不可判定性及其實際應用？

[英]What is Undecidability and its practical application?

我對不可判定性有一個模糊的理解。 我知道不可判定性是對於一個問題不存在算法，或者圖靈機永遠不會停止。 但我不能只是想象它。 有人可以以更好的方式解釋。 我不明白我們為什么要學習它及其應用。 有人可以在這個主題中解釋嗎？ ...

除了馮諾依曼和圖靈，還有其他的計算模型嗎？ （+其他一些讓我困惑的基本問題）

[英]Are there alternative computing models out there other than Von Neumann and Turing? (+ some other basic questions that puzzle me)

我是初學者。 圖靈和馮諾依曼模型有什么特別之處？ 他們是藝術還是科學？ 它們類似於自然或物理學的基本定律還是更像約定？ 如果出現其他模型或發明新模型，任何級別的所有編程語言都會改變嗎？ ...

我們可以為 a^nb^n+1 制作 pda 嗎？

[英]Can we make pda for a^n b^n+1?

我對我們可以為 a^nb^n+1 語言制作 pda 感到困惑嗎？ 據我所知，pda 只能用於 CFL。 a^nb^n+1 是否是cfl？ 請幫忙 ...

復雜性分析解釋器

[英]Complexity Analysis Interpreter

是否可以編寫一個程序來確定大 O 表示法的算法的最壞情況運行時間？ 例如，一個能夠確定遍歷數組中每個元素的單個 for 循環的時間復雜度為 O(n)，其中 n 是數組的大小？ ...

如果 A 在 RP 中，並且從 B 到 A 存在多項式時間減少，那么 B 在 RP 中？

[英]If A is in RP and there is a polynomial time reduction from B to A then B in RP?

我認為這是真的，因為您可以將 B 簡化為 A，然后運行 ​​A 的概率算法，如果我們被拒絕，那么它也是 B 的拒絕，如果輸入在 A 中，至少有一半的時間我們會得到接受這意味着如果輸入在 B 中，至少有一半的時間我們會接受。 所以B在RP中，但我不確定。 如果反過來減少會發生什么？ 如果 A 在 R ...