LL(1) 文法判断工具 - 在线验证您的文法是否符合 LL(1) 条件

LL(1) 文法判断工具

这是一个用于判断输入的文法是否为 LL(1) 文法的在线工具。输入您的文法规则，点击“判断”按钮，即可查看结果。

使用方法

1. 在文本框中输入您的文法规则，例如：

E -> E + T | T
T -> T * F | F
F -> ( E ) | id

2. 点击“判断”按钮。
3. 系统将根据您的输入判断文法是否为 LL(1) 文法，并显示结果。

代码示例

private void button4_Click(object sender, EventArgs e)
{
    string text = richTextBox1.Text;
    isLL_1_ LL1 = new isLL_1_(text);
    if (LL1.is_LL == 1)
    {
        MessageBox.Show("该文法是LL(1)文法");
    }
    else if (LL1.is_LL == -1)
    {
        MessageBox.Show("该文法不是LL(1)文法，存在二义性");
    }
    else
    {
        MessageBox.Show("该文法不是LL(1)文法");
    }
}

代码解释

1. 获取输入的文法字符串：string text = richTextBox1.Text;
2. 创建 isLL_1_ 的实例 LL1：isLL_1_ LL1 = new isLL_1_(text);
3. 判断 LL1.is_LL 的值：
   • 若 is_LL 的值为 1，则文法为 LL(1) 文法。
   • 若 is_LL 的值为 -1，则文法不是 LL(1) 文法且存在二义性。
   • 若 is_LL 的值为 0，则文法不是 LL(1) 文法。
4. 根据判断结果弹出相应的提示框。

代码说明

isLL_1_ 类包含以下成员变量和方法：

• LL1Item LL1Item：用于存储文法规则的 LL1Item 对象。
• Dictionary<string, List<string>> product：用于存储文法规则的产生式。
• First first：用于存储非终结符的 FIRST 集的 First 对象。
• Follow follow：用于存储非终结符的 FOLLOW 集的 Follow 对象。
• Select select：用于存储选择集的 Select 对象。
• int is_LL：用于标识文法是否为 LL(1) 文法。
• isLL_1_(String text)：构造函数，用于初始化 isLL_1_ 对象。
• Judge()：用于判断文法是否为 LL(1) 文法。

结论

该工具可以帮助您快速判断输入的文法是否为 LL(1) 文法，并提供相应的错误信息。

注意

• 请输入正确的文法规则，否则可能会导致错误的结果。
• 该工具仅用于判断文法是否为 LL(1) 文法，不提供文法分析功能。