比較兩個下推自動機

Question

我正在做一個項目，要求我比較兩個PDA，以檢查它們是否接受相同的語言。 我已經將這些PDA轉換為其相應的上下文無關語言，但是我不知道如何進一步進行。

Answer 1

對於CFL，平等問題是無法確定的-您可以通過將CFL的普遍性問題簡化為HALT問題（在Turing Machines上定義的一般問題）來證明，而語言平等幾乎只能縮小普遍性。

我不確定您正在從事哪種項目，但是請考慮使用DCFL，如果這是一個“實際”問題，並且如果是學術問題/作業，則應該執行我上面提到的步驟。

編輯：我不認為您可能只想比較兩個特定的languanges。 不幸的是，由於問題仍然無法確定，因此無法歸納答案。