假设表达式有单字母变量和双目四则运算符构成，试写一个算法，判断给定的非空后缀表达式是否为正确的逆波兰表达式，如果是，则将它转化为波兰式。