Для операций вроде −x, являющихся как бинарными, так и унарными, нужна модификация: при обнаружении подобной операции система смотрит на предыдущий символ и определяет, чем будет минус, бинарной операцией или унарной функцией. Соответственно, в стеке и ОПЗ нужны разные символы для бинарного и унарного минуса.
0000000..00000011000000..0000000
0000000..00000011000000..0000000
Я недавно поймал себя на мысли, что я использую все это, но не могу адекватно дать определение.Я тоже, вот, не знал, но вспомнил. ;)