设计并验证以下算法：设一个算术表达式中包含圆括号、方括号和花括号，判断其中的括号是否匹配。

算法设计：

1. 创建一个栈，用于存储左括号；
2. 遍历表达式中的每一个字符；
3. 如果字符是左括号（圆括号、方括号或花括号），则将其压入栈中；
4. 如果字符是右括号，则判断栈顶元素是否与该右括号匹配，如果匹配则将栈顶元素弹出，否则返回“括号不匹配”；
5. 遍历完表达式后，如果栈为空，则返回“括号匹配”，否则返回“括号不匹配”。

算法验证：

例如，对于表达式：{[()]}，按照上述算法进行验证：

1. 创建一个空栈；
2. 遍历表达式中的每一个字符：{、[、(、)、]、}；
3. 遇到左括号，将其压入栈中：{、{[、{[(；
4. 遇到右括号，判断栈顶元素是否匹配：)与(匹配，将(弹出；]与[匹配，将[弹出；}与{匹配，将{弹出；
5. 遍历完表达式后，栈为空，返回“括号匹配”。

因此，该算法可以正确地判断括号是否匹配。