Reverse Polish Notation + Bacus nor-form