2012-12-13 46 views

回答

2


你可以把有限自動機作爲一種0-turn PDA在堆棧從未使用過。

如果堆棧在自動機的兩個連續描述中分別上升和下降,則稱PDA執行轉彎。並且對於每種常規語言,可以構造一個PDA,其中我們在字符串接受結束時清空PDS

另外,正則語言是Chomsky classification(右線性或左線性)中線性語言的子集。

+0

它很好,但反過來呢?我的意思是你如何證明0轉的語言是正常的?可能是這樣的:對於一個給定的pda,其狀態= Q且堆棧符號= G,構造一個狀態爲Q \ times G的dfa,然後dfa通過讀取符號''從(p,X)移動到(q,Y) a',如果pda從(p,aw,X)移動到(q,w,Y)。 –

+0

是的,你是正確的。有'N'狀態的有限自動化可以模擬爲'2狀態'和'N堆棧符號'的PDA。反過來就是你說的。 –