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



我正试图将以下CFG转换为下推自动机:

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

我真的不知道如何处理这个问题,或者CFG->PDA的问题。

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

步骤2:将CFG的给定乘积转换为GNF。

步骤3:PDA将只有一个状态{q}。

步骤4:CFG的初始符号将是PDA中的初始符号。

步骤5:对于非终端符号,添加以下规则:δ(q,ε,A)=(q,α)
其中产生式规则为A→α。

步骤6:对于每个端子符号,添加以下规则:每个终端符号的δ(q,a,a)=(q,ε)

您可以使用JFlap应用程序来为您执行此操作。http://www.jflap.org/除此之外,该应用程序中还有其他几个有趣的函数分析,可以帮助您学习形式语言。我已经用了大约两个星期了,我很喜欢它。

最新更新