将上下文无关语法转换为 PDA

Question

我正在尝试将以下 CFG 转换为下推自动机：

S → AS | A
A → 0A | 1B | 1
B → 0B | 0

我不太确定如何解决这个问题，或者一般来说 CFG->PDA 的问题。

Answer 1

您可以使用JFlap应用程序为您完成此操作。 http://www.jflap.org/除此之外，该应用程序还具有其他一些有趣的功能，可以帮助您学习形式语言。 我已经使用了大约两个星期，我很喜欢它。

Answer 2

上下文无关语法与下推自动机的对话：将 CFG 转换为下推自动机的步骤： 步骤 1：R.HS 产生式上的第一个符号必须是终端符号。

步骤 2：将给定的 CFG 产生式转换为 GNF。

步骤 3：PDA 将只有一个 state {q}。

Step-4:CFG的初始符号将是PDA中的初始符号。

Step-5：对于非终结符号，添加以下规则：δ(q, ε, A) = (q, α)
其中生产规则是 A → α。

Step-6：对于每个终端符号，添加以下规则：对于每个终端符号，δ(q, a, a) = (q, ε)