假设一个算术表达式中包含圆括弧、方括弧和花括弧三种类型的括弧，编写一个判别表达式中括弧是否正确配对的函数correct(exp,tag)；其中：exp为字符串类型的变量(可理解为每个字符占用一个数组元素)，表示被判别的表达式，tag为布尔型变量。

在Python中，你可以通过维护一个栈（Stack）数据结构来实现这个功能。遍历输入的`exp`字符串，对于每个字符，如果是左括弧（如'('，'['，'{'），将其压入栈中；如果是右括弧（如')'，']'，'}'），检查栈顶元素是否与其匹配，如果匹配则弹出栈顶元素，如果不匹配则返回False，表示括弧配对错误。当遍历完所有字符且栈为空时，说明括弧配对正确，返回True。

以下是伪代码形式的实现：

def correct(exp, tag):
    if not tag:  # 如果tag是False，直接返回False，因为不允许有非配对的括弧
        return False

    stack = []
    opening_brackets = ['(', '[', '{']
    closing_brackets = [')', ']', '}']

    for char in exp:
        if char in opening_brackets:
            stack.append(char)
        elif char in closing_brackets:
            if not stack or closing_brackets.index(char) != opening_brackets.index(stack.pop()):
                return False  # 匹配失败

    return len(stack) == 0  # 如果栈为空，表示所有括弧都已正确配对

# 示例
exp = "(([]{})())"
correct(exp, True)  # 返回True，因为括弧配对正确