pushdown-automaton

1熱度

1回答

我正在做我的理論課的硬件分配，並遇到一個問題，我真的不知道從哪裏開始。我們正在介紹Push-Down自動機的一部分。「讓L1是一種上下文無關語言，L2是規則的，證明存在一種算法來確定L1和L2是否具有無限數量的公共元素。我不知道如何去解決這個問題。我無法理解我的想法。我知道，普通語言不允許含糊不清，我想知道這是否需要考慮這個問題。此外，在「Push-Down自動機」部分中，我假設它可能需要創建

0熱度

1回答

PDA中的計數字母頻率

我正在嘗試構建一個PDA或CFG，它接受E是最常見字母的所有單詞。例如，奶酪和T恤就是用語言寫成的。我很確定這種語言是上下文無關的，但我似乎無法爲它構建PDA。這可能嗎？

-3熱度

1回答

在自動機中查找2 pdf（2堆棧）中的中心字母

繪製一個2PDA，它接受中間字母爲A的所有單詞的中間字符A。另外，解釋它的邏輯。

0熱度

1回答

非確定下推自動機不同的圖

在介紹計算書的理論，語言狀態圖給出：我知道有可能是替代圖，但我懷疑的解決方案，我發現可能是錯誤的，這是比原來的稍有不同：我希望我的解決方案的任何計數器輸入。

0熱度

1回答

FSM中的狀態應該與上下文類型成爲朋友嗎？

我已經構建了一個基於類的下推式自動機有限狀態機。上下文類（內部狀態被修改的類）有一些只有狀態才能訪問的方法（遞增/遞減某些迭代器，推/彈出狀態，設置接受狀態等）。目前他們是公開的，因爲不同的州需要訪問他們。將方法設置爲protected/private並將狀態定義爲上下文的朋友會更好嗎？（NB4「意見爲基礎的！」）

1熱度

1回答

對於上下文無關語法，我如何將它轉換爲等價的下推自動機？

對於Σ= {0,1,2}上的上下文無關文法G，其中起始變量S： S→0S0 | 1S1 | 2S2 | Ÿ Ÿ→22 我如何變成一個相當於下推自動機

0熱度

1回答

使用下推自動化創建語法樹？

如果我要創建一個接受的狀態（名稱）下推自動化和這些國家接受的轉變（輸入，流行，推，nextState）。所有這些如何幫助我構建一個分析樹？我的意思是下推自動機檢查是巨大的，如果事情是在語言，喜歡的令牌或任何的順序是按照正確的順序...但語法樹？我的意思是考慮下面的例子： Foo { Woo { Hello World } } PDA的只能記住在堆棧頂部的項目和當前輸入。我該

1熱度

1回答

下推自動放棄了α，β和γ串

我理解的PDA的基礎知識，但有一個，我還沒有碰到過before.The問題來的一個問題就是：考慮與最終狀態和空接受以下PDA中號疊加。 $ M =（K，\ Sigma，\ Gamma，\ delta，q_0，Z_0，F）$，$ K = q_0，\ Sigma = a，b，c，\ Gamma = a，b，c，S， Z_0 = S，F = q_0）$。過渡關係由， $ \增量（Q_0，\ε，S）=（

0熱度

1回答

掌上電腦接受哪些語言

我很努力地理解在推送和彈出堆棧上和下的項目時下推自動機的符號。我知道堆棧必須是空的才能接受字符串。這裏是我的PDA：如果我創建一個轉移圖說輸入0011，我會做這樣的： State Input Stack q0 0011 ɛ q0 011 0 q0 11 00 q0 1 100 q0 ɛ 1100 由於輸入是

0熱度

1回答

爲以下語言創建下推自動機

所以我在練習中遇到了問題，我發現了這個問題。構造一個接受西格瑪語言L的npda（a，b，c）。 L = {瓦特：A = B + 1的數目的數目} 所以我，因爲它接受具有一個以上的，則字母B的所有字符串解釋它。我相信所有的國家都應該有一個循環（c，landa，landa），因爲我們並不關心c。在此之後，我感到非常困惑，因爲有很多案例可以報道，因爲a和b的位置是任意的。解決這個問題的方法是什麼？謝謝