Преобразование префиксной формы в постфиксную (дерево поиска, рекурсия)

[FYBVFPFYBC]

Реализовать с применением двоичных деревьев и рекурсии.

Во входном файле задана префиксная форма арифметического выражения, содержащая односимвольные имена (большие латинские буквы) арифметических операндов, символы операций +,-,*,/, без унарных операций. Разработать процедуры:

1)P1-проверки корректности записи префиксной формы арифметического выражения, используя рекурсию;
2)P2-преобразования префиксной формы в постфиксную. В случае ошибочности исходной префиксной формы выдать сообщение об ошибке.

Знающие люди, прошу помощи, т.к. пропустила тему)

Нужны только общие идеи алгоритма, программу напишу сама.