用python实现编写一个程序，用于对C源程序进行括号匹配检查，并将检查结果输出到文件中。 程序应检查输入源程序中左右大括号、小括号的个数是否相等,并且符合C语言语法规定的括号嵌套规则，不得交叉嵌套。输入文件最长不超过500个字符。 本程序只检查括号是否匹配，不用对输入源程序中的其它语法成份进行检查。 【输入文件】 输入文件为当前目录下的check.in，是一段任意的C程序。 【输出文件】 输出文件为当前目录下的check.out。该文件只有一行，是一个单词"True"或"False"。如果没有括号匹配错误则输出"True"，否则输出"False"。

以下是一个实现括号匹配检查的Python程序：

# 打开输入文件和输出文件
with open('check.in', 'r') as fin, open('check.out', 'w') as fout:
    # 读取输入文件中的源程序
    source_code = fin.read()

    # 初始化计数器
    left_bracket_count = 0
    right_bracket_count = 0
    left_parenthesis_count = 0
    right_parenthesis_count = 0

    # 遍历源程序中的每个字符
    for char in source_code:
        if char == '{':
            left_bracket_count += 1
        elif char == '}':
            right_bracket_count += 1
        elif char == '(':
            left_parenthesis_count += 1
        elif char == ')':
            right_parenthesis_count += 1

        # 如果右括号数量大于左括号数量，说明括号匹配错误
        if right_bracket_count > left_bracket_count or right_parenthesis_count > left_parenthesis_count:
            # 将检查结果写入输出文件，并结束程序
            fout.write('False')
            break

    # 如果左右括号、左右小括号数量相等且没有交叉嵌套，说明括号匹配正确
    if left_bracket_count == right_bracket_count and left_parenthesis_count == right_parenthesis_count:
        # 将检查结果写入输出文件
        fout.write('True')
    else:
        # 否则，说明括号匹配错误，将检查结果写入输出文件
        fout.write('False')

需要注意的是，程序中没有对输入文件的长度进行限制，但为了保证程序的效率，建议将输入文件的长度控制在500个字符以内。