C递归_离散数学实现合式公式的递归判断

实现合式公式的递归判断，是大二离散数学老师给我们出的一道编程题，当时也是第一次接触递归，苦思冥想一段时间后写出来了，逻辑应该没多大问题，也测试过一组数据，应该还有BUG，希望有人提醒我，在此分享给各位。 完整的代码：百度网盘（包含了加括号）   在CSDN上搜一搜，发现还是有挺多合式公式的判断，不过很多都是循环暴力破解，虽然有递归，不过代码逻辑不太清晰，描述较少，小白严格按照定义去实现合式公式的判

>>阅读原文<<