逆波兰表示法与冯诺依曼自动机。

冯诺依曼自动机的原理就是：两个队列，一个是操作队列，另一个是数据队列；操作队列消耗数据，导致数据队列变短，同时产生结果；理想状况是，操作队列与数据队列同时清空，这样就可以直接开始下一个任务。显然，冯诺依曼自动机是一个自动计算模型。
逆波兰表示法是完全遵从冯诺依曼自动机原理设计的四则运算解算模型。它的要求是：计算符号（±/不包括括号）与数据分别入栈，使用时顺次取出符号与数据，从而实现连续计算。比如：%.1 + %.2 * ( %.3 - %.4 )用逆波兰表示法，符号队列是-+，数据队列是%.3, %.4, %.2, %.1。看出这一方案超高的计算效率了吗？
然而理想总是被现实打得头破血流。完全使用逆波兰表示法无法实现所有的四则计算。这与逆波兰表示法设想的四则运算是良序的有关，因为括号会导致运算过程中的逆序出现、从而破坏了良序规则。
事实上，逆波兰表示法可以简单的翻译成二叉树，计算中的逆序可能对应着二叉树的不满全或者孤独单列子树的存在。于是，我发现了二叉树的完美性受到了破坏。
然而，能够使用逆波兰表示法的算式比其他方案高效快速许多。我们是否可以完善或者限制逆波兰表示法的法式、从而可以使这种极限效率的解算方案发挥效用呢？期待有数学家能有志于攻克这一难关，或者给出相关的正则化方案。