language-theory

2熱度

1回答

我正在學習編程的正式基礎，我們已經介紹的一件事情是證明語言的某些屬性，我已經完成了大部分工作，但我被困在這兩個問題上，因爲我不知道如何證明它們。它們如下：甲^（B^C）=（A^B）^ C（我相信是關聯的規則）甲^（BUC）=（A ^乙）U（A^C）（分配規則）在這些例子中我已經使用了^意味着級聯

2熱度

2回答

VBA中的表達式語句

我最近試圖編寫一個Excel宏，而且我需要確定一個特定的工作表是否存在。我選擇腳本的武器是Python，而我的VBA技能肯定很差。因此，在良好的Python的風格，我拿了更容易請求原諒比許可辦法，並寫了這樣的事情： Debug.Print MyWorkbook.Worksheets(TabName).Name ''Check for an index error If Err.Number <>

4熱度

2回答

字母表「a，b，c」上的所有字符串的語言是否具有相同數量的子字符串「ab」＆「ba」？

字母表「a，b，c」上所有字符串的語言是否與子字符串「ab」相同&「ba」regular？我相信答案是否定的，但很難做出正式的示範，即使是非正式的示範。關於如何解決這個問題的任何想法？

0熱度

1回答

什麼是有限AUTOMA的邏輯和循環

我要畫一個有限自動機接受以下字符串 Λ, a, aabc, acba and accb 在我看來a(a+b+c)*這可能是它的正則表達式爲字符串開始從a，包括一個空字符串也是如此。如果該字符串開始a然後在足總杯，我們正在從x移動到y在閱讀：現在我沒有找到圖紙FA如下圖像問題1的邏輯b 爲什麼我們在這裏沒有閱讀a。問題2：爲什麼我們使用的環，B上的狀態y和z

11熱度

2回答

SLR（1）語法分析器和Epsilon參與

讓我們假設我有以下語法： S → X X → a | ϵ 如果語法不會有ϵ參與，我會建立像第一狀態： S' → .S S → .X X → .a 但ϵ符號呢？我應該包括： X → .ϵ 呢？如果是這樣的話...當創建下一個州...我應該做GOTO(Io,ϵ)，這是第一個狀態？

5熱度

2回答

爲什麼名稱形成一種而不僅僅是一種類型？

前段時間在Haskell擴展中的一個（找不到鏈接）和recently in Ur我發現名稱（例如，記錄字段）形成一個Kind。有人可以解釋爲什麼Type抽象對他們來說不夠嗎？

0熱度

1回答

使用Javascript優化運行時間

主要的Javascript解釋器是否有內置優化？我正在考慮非常簡單的案例，如 while(i < array.length) { ... }

0熱度

2回答

上下文無抽吸引理

下列語言環境是否免費？ L = {a^i b^k c^r d^s | i+s = k+r, i,k,r,s >= 0} 我試圖拿出一個上下文無關文法來生成，但我不能，所以我假設它不是上下文無關。至於通過矛盾我的證明：假設L是免費的背景下，令P是由泵引理給出的常數，選擇串S = A^PB^PC^PD^P其中S = uvwxy As | vwx | < = p，則至多VWX可以包含兩個不同的

5熱度

1回答

有人可以給出一個簡單但非玩具的上下文敏感語法的例子嗎？

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

8熱度

2回答

添加口音語音生成

這個問題的第一部分，現在它自己的，在這裏：Analyzing Text for Accents 問：怎麼能口音被添加到生成的語音？我想出：我不是說只是重音符號，或拐點，或任何奇異的那樣。我的意思是像英國口音，蘇格蘭口音或俄語等。我認爲這可以在語言之外完成。 Ex：俄語中的某些東西可以用英國口音生成，或者用普通話可以用俄語口音生成。我覺得基本過程是這樣的：分析文本與數據庫（或類似的東西）