pushdown-automaton

1熱度

1回答

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

0熱度

1回答

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

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的位置是任意的。解決這個問題的方法是什麼？謝謝

1熱度

1回答

上下文自由和正規的語言與下推自動機和無限元素

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

0熱度

1回答

下推自動機的語言

我想設計一個下推自動機的語言 L = { a^i b^j c^k | i = j or k <= j <= 2k} 是如右圖所示，如下圖中由教師提出的解決方案。但我這裏關心的是，它不處理字符串的形式，當|2c| > |b|。那就是在q8狀態下，如果所有的B都堆疊出來，但輸入C還沒有完成。這裏沒有捕捉到這種轉變。我的關注是否正確？或建議的解決方案是一個正確的PDA。

-3熱度

1回答

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

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

0熱度

1回答

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

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

0熱度

1回答

在這種情況下，下推自動機是否有用？

在大學他們要求我使用語法和Pushdown自動機來檢查Java代碼的一部分語法。由於我以前沒有使用過這個自動機，所以我已經瞭解了它們是如何工作的，我認爲這個自動機在檢查代碼語法方面並不是很有用，因爲下推自動機用於驗證任何令牌之間的某種比例的語法如「0^n 1^2n | n> = 0」。代碼語法中不存在令牌之間的這種比例，因此我認爲下推自動機在這種情況下並不有用。我是對的？我必須抱怨他們要求我

0熱度

2回答

對於L = {a ^（n）b ^（n）c ^（n）| n> = 1}的PushDown自動機（PDA）

我正在試圖構建非上下文的下推自動機的愚人差事自由語言L = {a ^（n）b ^（n）c ^（n）| n> = 1}並考慮兩種方法。第一種方法： - 我認爲，每一個「A」的字符串我會推3「」進棧和字符串中的每一個「B」，我會彈出2 'a'現在對於字符串中的每個'c'，我仍然會在堆棧中有'a'。問題與第一種方法： -產生的語言成爲這樣的L = {A ^（P）b ^（M）C ^（n）的| P> =