language-theory

3熱度

1回答

如果你給了一門語言，你怎麼知道它是否規則，CF但不是常規，或者短語結構而不是CF？有沒有很好的方法來解決這個問題？我可以隨機嘗試製作FA或PDA，但我覺得有更好的方法來做到這一點。經典示例： L = {a^n b^n c^n | n> = 0} 從哪裏開始？謝謝。

-1熱度

3回答

轉換上下文無關語言以下推自動機程序？

我找不到任何applet或程序在線將上下文無關的語言轉換爲下推自動機...任何幫助將不勝感激。

2熱度

1回答

形式語言理論 - 自動機

我想知道正式語言。我有一種解析器：它讀取類似xml的序列化樹結構，並將其變爲多維數組。我的觀點是使用的算法和不同種類的自動機（狀態機圖靈機堆棧...）之間的相似之處。所以問題是：這是我暗示在這裏使用的自動機，它適合哪種形式的語言族？什麼是遞歸？我的意思是「我自動使用的自動機」是「這是做同樣工作的最小自動機」。這是完整的源代碼： $ words; // XML標籤 '<標籤>'， '<

0熱度

4回答

什麼是基本的C＃接口範圍？

我與另外一位程序員在接口範圍上發生爭執。假設我們有以下幾點： public interface IFoo { string Bar { get; set; } } public class SomeFoo: IFoo { public string Bar { get; set; } public SomeFoo(string bar) {

-2熱度

1回答

如何知道什麼是語言？

一旦數學家告訴我一個項目可能的條件是我們有一種語言。你能幫我理解我們何時知道我們什麼時候，何時不知道？像例子或者自動化測試是否可以知道什麼是「語言」，什麼不是。謝謝

3熱度

4回答

從「原子」

有在supervening relationships一種美的構建面向對象的編程語言。考慮以下示例：原子由亞原子粒子，分子由原子組成，細胞分子組成，器官是由細胞，人是由器官，社會是由人。的game of Go的複雜的策略是在需要做出結構與「兩隻眼睛」，使他們能活得下去建 - 然而，「兩隻眼睛」的事情永遠不會在規則中所規定，但本身的涌現性Go的非常簡單的規則。的Conway's_Game_of

2熱度

1回答

解析列表與最小分隔符

我有一種語言與4種語句：s00，s01，s10，s11其中領先的1意味着初始關鍵字，尾隨1意味着終止，我有一個分隔符「;」。我可以用「;」來終止任何陳述。我想解析一個允許最少使用「;」的語句列表。解析器是Dypgen，它是GLR +。例子： { x=1 fun f(){} x=1; x=1 var x=1 var x=1; x=1 } 是否有可能做到這一點呢？如果是這樣，怎麼樣？如果不是，爲

4熱度

6回答

是否有任何面向對象的靜態類型語言，其變量類型很少？

1熱度

1回答

正則表達式與cfg相交的算法

我正在尋找一種算法，如果正則表達式和無自由文法的交集是空的，則輸出該算法。我知道這個問題是可確定的，但是，我找不到任何示例實現（僞代碼）。有人可以提供給我一個這樣的算法，如果可能的話在.NET中，但這不是必須的。這個問題也被稱爲「常規交集」。谷歌搜索只給了我幾何算法或關於它的理論。編輯：任何人。我真的停留在它上面，而且還找不到任何東西。

2熱度

1回答

「模式語言」如何與「正規語言」相關？

我一直認爲有低於type-3語法沒有真正的語文課，但現在我發現了「Language identification in the limit」模型，該模型允許學習模式語言但不正規語言。模式語言究竟是什麼，它們與普通語言有什麼不同？