python编写一个程序，用于对C源程序进行括号匹配检查，并将检查结果输出到文件中。 程序应检查输入源程序中左右大括号、小括号的个数是否相等,并且符合C语言语法规定的括号嵌套规则，不得交叉嵌套。输入文件最长不超过500个字符。

以下是一个简单的 Python 程序，用于对输入的 C 源程序进行括号匹配检查，并将结果输出到文件中：

def check_parentheses(file_in, file_out):
    with open(file_in, 'r') as f_in, open(file_out, 'w') as f_out:
        code = f_in.read().strip()
        stack = []
        error = False
        
        for i, char in enumerate(code):
            if char in '({[':
                stack.append((char, i))
            elif char in ')}]':
                if not stack:
                    f_out.write(f"Error: Extra closing bracket at position {i}\n")
                    error = True
                else:
                    last_bracket, pos = stack.pop()
                    if (last_bracket == '(' and char != ')') or (last_bracket == '{' and char != '}') or (last_bracket == '[' and char != ']'):
                        f_out.write(f"Error: Mismatched brackets at positions {pos} and {i}\n")
                        error = True
        
        if not error and stack:
            f_out.write("Error: Extra opening bracket(s) at positions ")
            for bracket, pos in stack:
                f_out.write(f"{pos}, ")
            f_out.write("\n")
        elif not error:
            f_out.write("All brackets are matched and nested correctly.\n")

check_parentheses('input.c', 'output.txt')

这个程序首先打开输入文件，读取其中的代码。然后，使用一个栈来跟踪打开的括号，当遇到一个左括号时，将其压入栈中；当遇到一个右括号时，将其弹出栈，并检查它是否与栈顶的左括号匹配。如果有任何错误，则将错误信息写入输出文件并将错误标志设置为 True。最后，如果没有错误，但栈中仍然有未配对的左括号，则将这些括号视为错误，并将其位置写入输出文件。

注意，这个程序只检查了括号的匹配和嵌套，而没有检查其他语法错误。如果需要完整的 C 语言语法分析器，请使用专业的工具。