ParseKit的命题逻辑语法

Question

我正在尝试为Parsekit写一个语法，以便在我的iphone应用程序中使用。我这样做了吗？

@start = wff;

wff = disjunction ('IMPLIES' | disjunction);
disjunction = conjunction ('OR' | conjunction)*;
conjunction = notexpression ('AND' | notexpression)*'
notexpression = ('NOT')+ primaryexpression;
primaryexpression = (literal | '(' wff ')');
literal = (A | B | C | D | E | F | G | H | I | J | K | L | M | N |O | P | Q | R | S | T |         U | V | W | X | Y | Z);

我收到错误：

2012-11-26 10:41:06.348 SemanticTab[4092:c07] *** Terminating app due to uncaught exception 'NSInternalInconsistencyException', reason: 'Could not build ClassName from token array for parserName: conjunction'
*** First throw call stack: 

尝试解析P OR Q？

Answer 1

ParseKit的开发人员。

我看到两个明显的问题：

1. 具有conjunction生产定义的行以'（单引号）终止。那应该是;（半冒号）。

2. literal制作的定义无效。没有定义名为A，B，C等的制作。但是，如果我理解您的意图，定义literal的更简单方法是使用内置的Word制作：

   literal = Word;