Здравствуйте, m2user, Вы писали:
M>Пусть попробует написать свой. Получится +/- вариант одного из таких алгоритмов.

У меня в таких случаях обычно Метод рекурсивного спуска получается)
Хотя, возможно, если заменить рекурсию на явное использование стека, то получится эквивалентный код

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