Infix->Postfix

词法分析,lexical analysis属Compiler的front end部分，infix到postfix只是其中很小的一部分。

从infix转postfix的关键是写出它的Context Free Grammar，写出了Context Free Grammar算法也就实现了。

在转成代码的时候，和Context Free Grammar有细微的差别。我是用C#写的，lexer是用C写的，没有多大的出入。

红龙书上只给出了单个位数数字C代码，比如:90+45-65，就不行。不过,只要稍微改动一下它的Context Free Grammar就可以实现任意位数的postfix form。前面的章节让我很模糊，到了这里总算才和SE117联系起来。

下面给出postfix Context Free Grammar的定义，其实这个还是很容易写出来到的:

Expr->Num UnOpt

UnOpt->Num+UnOpt

         ->Num-UnOpt

         ->Num*UnOpt

         ->Num/UnOpt

         ->L(Null string)

Num->0Num

       ->1Num

       ->2Num

       ->3Num

       ->4Num

       ->5Num

       ->6Num

       ->7Num

       ->8Num

       ->9Num

       ->L(Null string)

Expr,Num,UnOpt为nonterminals。0-9,+-*/为terminals。可以进一步用Killing L(Null string)方法改写Context Free Grammar，因为实际写代码的时候用的是Killing L形式。

注意，如果Num和UnOpt同时生成L则该语法是接受的。但+-*/中任何一个开头都被视为错误,如果出现连续2个运算符也是错误的。写代码时避免这2种情况的发生。似乎这个Context Free Grammar还不是很完美。

比如:4+5-2+3的postfix form为45+2-3+。用上述Context Free Grammar来实现postfix form的步骤如下：

Expr->Num UnOpt

      ->4Num+Unopt

      ->45+Num-UnOpt

      ->45+2-Num+UnOpt

      ->45+2-3+L(null string.)

我在写代码的时候，事先写了个函数去除了空格键和跳格键，然后用StreamReader和StreamWriter把一个包含infix表达式的文件，转换成postfix表达式的文件。这样就基本满足转换功能了。