2

我正在尝试使用带有 Irony 库的上下文无关语法来解析用户输入的前缀符号逻辑表达式。这是一个课堂作业，所以如果有人碰巧是这方面的专家，我很想知道更多。

我需要接受以下格式的用户输入逻辑表达式：

and P Q -- (meaning P ^ Q)
or P Q -- (meaning P v Q)
not P  -- (meaning ~P)
imp P Q -- (meaning P -> Q)

我正在尝试使用我在 Irony 中实现的上下文无关语法将这些解析为表达式树。我正在使用的上下文无关语法在 BNF 中：

<Expression> ::= <Not> | <And> | <Or> | <Implies> | <Identifier>
<Not>        ::= "not" <Expression>
<And>        ::= "and" <Expression> <Expression>
<Or>         ::= "or" <Expression> <Expression>
<Implies>    ::= "imp" <Expression> <Expression>

(<Identifier> is implemented as an IdentifierTerminal object).

我以前使用 Irony 来解析表达式，但由于某种原因，我无法让它工作。当我键入表达式and P Q时，它似乎将“and”标识为标识符终端，而不是 And 非终端的一部分。我可能正在做一些明显的事情，但我根本无法弄清楚。这是我扩展的语言课：

class LogicPrefix : Grammar
{
    public LogicPrefix()
        : base(false)
    {
        NonTerminal Expression = new NonTerminal("expression");
        NonTerminal Implies = new NonTerminal("implies");
        NonTerminal And = new NonTerminal("and");
        NonTerminal Or = new NonTerminal("or");
        NonTerminal Not = new NonTerminal("not");
        Terminal Identifier = new IdentifierTerminal("identifier");
        Root = Expression;

        Expression.Rule = And | Or | Not | Identifier;

        Not.Rule = "not" + Expression;
        Implies.Rule = "imp" + Expression + Expression;
        And.Rule = "and" + Expression + Expression;
        Or.Rule = "or" + Expression + Expression;

    }
}

这是我的驱动程序类：

class Program
{
    static void Main(string[] args)
    {
        LogicPrefix grammar = new LogicPrefix();
        Parser p = new Parser(grammar);
        ParseTree pt = p.Parse("and P Q");
        //pt has thrown an error flag.
    }
}

如果我做错了什么，请告诉我，我很想对此提出一些建议。

4

1 回答 1

3

您的标识符词法分析似乎允许您的其他终端作为标识符进行词法分析，因为根据定义，它可以IdentifierTerminal识别“以下划线或字母开头并且仅包含字母、数字和下划线”的任何内容（来源）。这意味着当您的程序读取 时and，它可以将其作为标识符and或关键字读取and。

在我看来，您可以通过使用以下行将运算符声明为标点符号来解决此问题：

MarkPunctuation("imp", "and", "or", "not")
于 2012-11-08T05:41:34.670 回答