Для тех, кто в теме.

Есть ли стандартный способ в ОПЗ для проверки на корректность исходной строки с формулой?
Т.е. чтобы исходная строка не была, например такая:
2+/5--*

AHgpeu, да, есть - выполнить. Если после выполнения стек пуст, и не было попыток pop-а из пустого стека - то запись корректна.

А кто может подсказать хороший алгоритм создания ОПЗ из обычной записи выражения?

luxadevianta, в педивикии наверняка всё расписано.

По сабжу
Я не очень понимаю, зачем это может понадобиться, на сколько я знаю, ОПЗ - это промежуточная запись и она обычно генерится машиной(если не считать языков программирования, в которых она является основной), так что проверять её незачем. Возможно поэтому найти "стандартный" алгоритм непросто. Но вопрос меня заинтересовал, и я, немного покумекав, вот какое решение нашёл:
В записи присутствуют два типа элементов - операторы и операнды. Для простоты рассмотрим классическую ОПЗ только с бинарными операторами(идею можно распространить и на расширенную форму). Будет ли запись корректной зависит исключительно от того, в какой последовательности идут разные типы элементов, например если второй элемент - оператор, то запись некорректна. 
Разбор записи осуществляется с лева на право и как только будет найден оператор вычисляется операция с ним и двумя предшествующими операндами, в результате получается элемент, который можно в дальнейшем использовать как операнд.
Для реализации алгоритма создадим скелет выражения. Скелет будет представлять из себя коллекцию List<int>, которую мы сформируем следующим образом: 
пройдёмся по исходному выражению и всякий раз, когда мы встретим операдн будем добавлять в коллекцию 0, а когда встретим оператор - 1. 
Проверить правильность последовательности теперь просто - движемся по коллекции и как только находим 1 (оператор) заменяем его и два предшествующих нуля на 0 (заменяем операцию операндом). На практике, что бы заменить последовательность 001 на 0 надо из неё убрать два последних элемента - 01. То есть обходить обходя коллекцию при обнаружении единицы удалять её и предшествующий ноль. Так до тех пор, пока в ней не останется один ноль. В этом случае запись корректна, в ином случае - нет.

Пример реализовал для записи, в которой все элементы разделены пробелами, в качестве операторов использовал  = - * / ^. Для сложных выражений не проверял, может что и накосячил, но надеюсь идея понятна


Если понадобится расширить идею для тринарных операторов, то можно для них использовать вместо единицы двойку и соответственно убирать перед ними три два операнда и тд алгоритм слегка усложнится, но принцип тот же.