language-theory

-4熱度

1回答

當且僅當它是有限的，使得100 => n <= 0時，語言a^n b^2n是否是規則的可能性如何？

語言a^n b^2n是否有規律，當且僅當它是有限的，使得100 => n < = 0？我知道當n => 0時，這種形式的（a^nb^n）語言是不規則的，因爲我們需要一個臨時記憶來跟蹤a和b的數量，而且我知道每有限語言是規則的，但我不明白是什麼使有限的語言在一個相似的形式規則？我們如何證明它？我需要一些線索，除了能夠得到等值的正則表達式，我想要一些更詳細的解釋.. 感謝名單

19熱度

9回答

instanceof /的優先級的原因是

在兩個C＃/ Java中，運算符優先級分別爲isinstanceof導致一些醜陋的必要括號。例如，不要編寫if (!bar instanceof Foo)，你必須編寫if (!(bar instanceof Foo))。那麼爲什麼語言團隊認爲!的運算符優先級高於/ instanceof？無可否認，在C＃中，您可以覆蓋operator!，這會在某些情況下導致不同的結果，但這些情況似乎非常罕見（並且

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 得到半規則語法其語言不是常規語言的一個例子。一定要說出語言是什麼以及它爲什麼不規則。

0熱度

3回答

應該在javascript中聲明對象屬性嗎？

在一個JS函數中，我將使用一個對象resultModel，它有兩個屬性idArray和nameArray。什麼是正確的方式來宣佈這一點？目前，我在var resultModel在函數的頂部其它變量聲明的對象在一起，但屬性我只是開始使用由功能後給他們分配在一個循環中的值： resultModel.idArray.push(someValue[i][0]); resultMod

0熱度

2回答

所有的無限語言都是不可判定的嗎？

我想知道所有的無限語言是不可判定的嗎？它們必須是正確的，因爲TM試圖決定一種無限語言將永遠循環，這使得它成爲一個調整器，而不是一個決策者。謝謝你們。

0熱度

1回答

爲什麼Google聲稱Javascript關閉是危險的？

我剛剛讀了這一點谷歌JS風格指南： http://google-styleguide.googlecode.com/svn/trunk/javascriptguide.xml?showone=Closures#Closures 我不完全理解它。雖然element.onclick有分配給它的功能，但一切都很好。沒有什麼是垃圾收集，但沒關係，因爲我們仍在使用這些對象。一旦我們分配 element.o

3熱度

2回答

如何爲所有包含「a」，「b」和「c」但不超過2個「b」和3「c」的字符串編寫簡潔的正則表達式

我最近開始學習常規表達式，並試圖爲上面的問題寫一個。如果限制僅限於一個字母（例如不超過2「b」），則不會有困難。那麼答案將是：A * C *（B |ε）A * C *（B |ε）A * C * 但隨着2 「B」秒和3個「C」，「a」之間可能的排序總數爲24（5選3），所以編寫一個正則表達式來包含所有這些可能性將是非常重要的（因爲我們可以選擇任意數量的bs和cs，只要數字分別小於2和3）（例

0熱度

1回答

靜態類型和轉換

假設我有一個類ALGOL語言，用靜態類型和下面的一段代碼： a := b + c * d; 其中a是浮點數，b的整數，c雙和d長。然後，語言將轉換d長期與c進行操作，並b翻番與c*d結果進行操作。因此，在此之後，b+c*d的雙重結果將被轉換爲浮點數，以將結果分配給a。但是，當它發生時，我的意思是，所有的轉換是在運行時還是編譯時間發生的？如果我有： int x; //READ FROM USE

2熱度

1回答

轉換爲XOR合取形式

異或結膜的形式被定義爲如下：（a XOR b）和（C XOR d）...等和SAT-XCF是由先例定義的語言（XOR連詞）表達式是可以滿足的。我想知道SAT-XCF是NP很難嗎？因此，是否有一個函數能夠將任何可滿足的布爾表達式轉換爲可滿足的XOR連接形式？非常感謝您的貢獻。

1熱度

2回答

支付b和偶數個字符串的正則表達式

如何定義正則表達式以使用以下語言？ L = {w∈{a，b} * | W具有偶數B的}的我試圖創建相關的自動機：，並從我試圖運用算法來獲得DFA定期espression和我得到這個公式： a*ba*b。這是正確的答案嗎？