我正在尝试使用带有 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.
}
}
如果我做错了什么,请告诉我,我很想对此提出一些建议。