バッカス記法・yacc などで、構文規則の解析なら、出来そう