Открывающаяся скобка - добавляем в стек. Закрывающаяся - удаляем и стэка. Если типы соотносятся, то идём дальше. Нет - уже неверная скобочная последовательность.

Если Stack в конце пустой, то YES

Не пустой ⇒ NO