用C语言来实现对合式公式的判断

………………………………………………………………………………………………………………………………………

程序要求：

输入一个公式，判断是否是合式公式

………………………………………………………………………………………………………………………………………

 

 

 

 

#include<stdio.h>
#include<string.h>//包含strlen()的原型
#include<ctype.h>//包含isupper()的原型
#define NUM 20


int check(char * string);
static int len;//存储字符串的长度
int main(){
char source[NUM];
int i = 0;//使用户可以执行多次输入


while(i == 0){
printf(".............欢迎进入合式公式检验窗口....................\n");
printf("\t\t\t请输入字符串\t\t\t\n");
printf("\'-\'表示否定联结词，\'*\'表示合取联结词，\'+\'表示析取联结词\n");
printf("\'>\'表示条件联结词，\'~\'表示双条件联结词\n");
gets(source);
len = strlen(source);
if(source[0] != '\0'){
if(len == 1){
if(isupper(source[0])){
printf("Yes!this string is combined formula\n");//若字符串中只包含一个大写字母，把它当做命题符，也是合式公式
}
else{
printf("No!this string isn't combined formula!\n");
}
}
else
check(source);//字符串长度大于1，进入函数判断
}
else
printf("No!this string isn't combined formula!\n");//字符串为空的情况
printf("输入一个数字以执行其他操作\n");
printf("0  表示重新进入检验窗口\t\t1  表示退出检验窗口\n");
scanf("%d", &i);
getchar();
}
return 0;
}


//检验是否是合式公式的函数
int check(char * string){
char again[NUM];//存储除去括号后的字符串
int i,flag = 0,judge1 = 0,judge2 =0;
int left = 0,right = 0;


for(i=1; i<len-1; i++){//计数总左，右括号数
if(*(string+i) == '(')
left++;
if(*(string+i) == ')')
right++;
}
if(left != right)
printf("No!this string isn't combined formula!\n");
else{
if(*string == '(' && *(string+len-1) == ')'){//除去最外层的一对括号
if(*(string + 1) == '-'){//遇到否定联结词时，除去否定联结词
for(i=0; i+2<len-1; i++)
again[i] = *(string + 2 +i);//剩下的字符存储在一个数组里
again[i] = '\0';
len = strlen(again);
if(len == 1 && isupper(again[0])){//除去否定联结词，只剩下一个大写字母的情况
printf("Yes!this string is combined formula!\n");
return 1;//检测完毕后即可退出检测
}
else
flag = check(again);
}
else{
if(isupper(*(string+1)) ){
if(isupper(*(string+3)))
{
if(*(string+2)=='*' || *(string+2)=='+' || *(string+2)=='>' || *(string+2)=='~'){
printf("Yes!this string is combined formula\n");
return 1;
}
}
}

else{
char a[NUM],b[NUM];//存储新的数组来进行递归判断是否是合式公式
int bnum = 0;//计数括号数
int stop = 1,j;


//划分部分
for(i=1,j=0; ;i++,j++){
if(*(string+i) == '(')
bnum++;
a[j] = *(string+i);
if(*(string+i) == ')')
bnum--;
if(bnum == 0){
stop = 0;
break;
}
}
a[j+1] = '\0';
len = strlen(a);
if(stop == 0)
judge1 = check(a);
stop = 1;


if(*(string+i)=='*' || *(string+i)=='+' || *(string+i)=='>' || *(string+i)=='~'){
for(i+=1,j=0; i<len-1; i++,j++){
if(*(string+i) == '(')
bnum++;
if(*(string+i) == ')')
bnum--;
b[j] = *(string+i);
if(!bnum){
stop = 0;
break;
}
}
}
b[j+1] = '\0';
len = strlen(b);
if(stop == 0)
judge2 = check(b);
}
}
}
}
if(flag == 1 || (judge1 == 1 && judge2 == 1))
printf("Yes!this string is combined formula!\n");

return 0;
}