IMO wynikiem konwersji "a=b=c" na ONP powinno być "abc==". Operator przypisania powinien mieć najmniejszy priorytet (z reguły tylko przecinek ma mniejszy, ale u ciebie nie ma przecinka) i być prawo-asocjacyjny.
a=b=c to jest abc== czy ab=c=. Według algorytmu powinno się zrobić ab=c= ale i tak nie jestem pewny.
Bierzemy 'a' - idzie na output; bierzemy operator '=' - idzie na stos; 'b' - out; kolejny '=' - jest prawo-asocjacyjny więc sprawdzamy czy ma mniejszy (nie <= jak w przypadku lewo-asocjacyjnych) priorytet niż szczyt stosu, ma taki sam więc tylko dorzucamy go na stos; 'c' - out; kolejno wrzucamy elementy stosu na output.