Синтаксический анализатор понятия текст со скобками

///////////////////////////////////////////////////////////////////////////////
//3.
///////////////////////////////////////////////////////////////////////////////
//С помощью рекурсии необходимо реализовать синтаксический анализатор понятия текст_со_скобками.
 
//текст_со_скобками ::= элемент | элемент текст_со_скобками
 
//элемент ::= А | B | (текст_со_скобками) | [текст_со_скобками] | { текст_со_скобками }
///////////////////////////////////////////////////////////////////////////////
#include <iostream>
///////////////////////////////////////////////////////////////////////////////
typedef std::string     T_str;
///////////////////////////////////////////////////////////////////////////////
bool    successfully_read_text_with_brackets( T_str    &   s );
///////////////////////////////////////////////////////////////////////////////
bool    successfully_read_symb
    (
        char        symb,
        T_str   &   s
    )
{
    bool    bool_res    =       !s.empty    ()
                            &&  s.front     ()  ==  symb;
 
    if( bool_res )
    {
        s.erase(0, 1);
    }
 
    return  bool_res;
}
///////////////////////////////////////////////////////////////////////////////
bool    successfully_read_text_with_brackets_between_symbols
    (
        T_str   &   s,
        char        L,
        char        R
    )
{
    T_str   s_cur       =   s;
 
    bool    bool_res    =       successfully_read_symb                  ( L,    s_cur   )
                            &&  successfully_read_text_with_brackets    ( s_cur         )
                            &&  successfully_read_symb                  ( R,    s_cur   );
 
    if( bool_res )
    {
        s   =   s_cur;
    }
 
    return  bool_res;
}
///////////////////////////////////////////////////////////////////////////////
bool    successfully_read_element( T_str    &   s )
{
    T_str   s_cur       =   s;
 
    bool    bool_res    =           successfully_read_symb( 'A',    s_cur   )
                            ||      successfully_read_symb( 'B',    s_cur   )
 
                            ||      successfully_read_text_with_brackets_between_symbols
                                        (
                                            s_cur,
                                            '(',
                                            ')'
                                        )
 
                            ||      successfully_read_text_with_brackets_between_symbols
                                        (
                                            s_cur,
                                            '[',
                                            ']'
                                        )
 
                            ||      successfully_read_text_with_brackets_between_symbols
                                        (
                                            s_cur,
                                            '{',
                                            '}'
                                        );
 
    if( bool_res )
    {
        s   =   s_cur;
    }
 
    return  bool_res;
}
///////////////////////////////////////////////////////////////////////////////
bool    begins_with_closing_bracket( T_str  const   &   s )
{
    return      s.front()   ==  ')'
            ||  s.front()   ==  ']'
            ||  s.front()   ==  '}';
}
///////////////////////////////////////////////////////////////////////////////
bool    successfully_read_text_with_brackets( T_str    &   s )
{
    T_str   s_cur       =   s;
 
    bool    bool_res    =       successfully_read_element( s_cur )
 
                            &&  (
                                        successfully_read_text_with_brackets    ( s_cur )
                                    ||  s_cur.empty                             ()
                                    ||  begins_with_closing_bracket             ( s_cur )
                                );
 
    if( bool_res )
    {
        s   =   s_cur;
    }
 
    return  bool_res;
}
///////////////////////////////////////////////////////////////////////////////
bool    is_text_with_brackets( T_str    const   &   s )
{
    T_str   s_cur   =   s;
 
    return      successfully_read_text_with_brackets    ( s_cur )
            &&  s_cur.empty                             ();
}
///////////////////////////////////////////////////////////////////////////////
int     main()
{
    for(;;)
    {
        T_str   s;
        std::cout   <<  "Enter text with brackets ()[]{} and letters A and B:\n";
        std::cin    >>  s;
 
        std::cout   <<  std::boolalpha
                    <<  is_text_with_brackets(s)
                    <<  std::endl
                    <<  std::endl;
    }//for
}