形式语言jflap操作用户控制解析.docx

1、形式语言jflap操作用户控制解析用户控制解析 内容 介绍 受限制的语法的示例 无限制语法的示例 介绍 在以前版本的JFLAP中，对于给定的语法用户无法控制如何推导出一个特定的字符串。用户依靠蛮力解析器以确定字符串是否被语法接受。此外，蛮力解析器对于输入的字符串只显示一个推导或分析树。 用户控制解析，现在用户可以选择产生式来运用和执行解析。 受限制的语法的示例 我们将开始加载在前面的教程中输入的语法。你可以输入文法（在下面显示）或者加载文件restrictedGrammar.jff。 点击Input,然后UserControlParse。再点击UserControlParse后，你应该看到一个

2、非常类似与BruteForceParse的窗口。 现在您可以输入一个字符串，并通过选择生产规则来导出那个字符串。输入字符串“aababb”，点击Start或者按回车键。根节点S将被绘制在树状面板中。 现在，点击你要应用的规则。现在我们应用产生式“S-aSSb”，从左边的面板中点击产生式“S-aSSb”。注意现在你已经点击Step。点击Step后你的窗口应该如下: 注意：在窗口的底部有一个消息，“导出当前字符串使用S-aSSb产生式”。这个消息告诉我们上一个产生式被应用。 现在有在我们的叶子中有两个变量中“S”。如果我们不指定我们将应用哪一个S-产生式，错误信息将弹出。 假设我们希望将产生式“S

3、-Bb”应用到第一个S。我们可以通过点击在窗格底部的字符串“aSSB”的最左边的变量S来指定我们要应用的关于S的哪个规则。 我们可以简单地点击最左边的S和点击产生式规则“S-Bb”。然后点击Step。现在我们已经将我们需要的产生式应用到我们字符串中的第一个S。你的窗口现在应该看起来像:现在，如果我们想应用产生式“B-a”到变量“B”，我们可以点击这个产生式并点击Step。我们没有必要指明哪一个B去应用产生式，因为在字符串“aBbSb”只有一个B。 通过点击Previous你可以返回到到前一步骤，现在我们可以回到上一步骤的字符串“aSSb”。 假设我们想对于字符串中的“aSSb”所有S采用相同的

4、产生式。我们可以通过在面板底部点击两个S变量来获得，然后选择一个生产式规则“S-Bb”。然后点击Step，在这种情况下，两个产生式从左到右应用，但只有最后的结果示出。 注意：当您在面板的底部选择多个项目，你只需要简单的点击。没有必要Ctrl+click了，如果你想取消选择项目，只要点击该项目,它将不再被选择。我们的新树看起来应该像这样： 在对两个变量B应用产生式“B-a”后，我们可以获得我们的输入字符串。最终屏幕应该类似于下面其中一个: 无限制语法的示例 我们以加载在前面的教程中输入的语法为开始。你可以输入文法（在蛮力解析-无限制语法教程中显示）或者加载文件unrestrictedGramma

5、r.jff。在点击用户控制解析后，你可以输入字符串“aabbcc”来解析。你的窗口应该如下: 现在我们要运用三种产生式：“S-AX”,“A-aAbc”,“A-aBbc”。一次点击一个产生式和点击Step。经过三个步骤之后，你的窗口应该如下:现在假设我们想应用产生式“Bb-bB”。由于只有一个“Bb”出现在我国目前的字符串“aaBbcbcX”中，我们可以点击产生式并点击Step。然而如果在字符串中有多于一个的“Bb”，我们不得不通过在面板底部点击所需的“Bb”来指定他们。在面板底部点击“Bb”后再应用产生式“Bb-bB”。你的窗口应该如下: 我们可以继续应用更多的产生式来获得输入字符串。然而这些步骤是相当漫长的，它是不包括在本教程中的（最终推到在蛮力解析-无限制语法教程网页中显示）。 我们就这样结束简短的关于用户控制解析教程。感谢您的阅读！