定义一个枚举类型,下面的程序段输出____。#include enum TLight{ green=1, red,yellow=0};int main(void){ enum TLight light;light=red;printf("%d ", light);light=yellow;printf("%d ", light);}
查看答案
有程序如下定义,输出结果为____。struct NODE{ char num;struct NODE *next;};void main( ){ struct NODE *p,*q,*r;p=(struct NODE *)malloc(sizeof(struct NODE));q=(struct NODE *)malloc(sizeof(struct NODE));r=(struct NODE *)malloc(sizeof(struct NODE));p->num=a; q->num=b; r->num=c;r->next=q;q->next=p;p->next=NULL;printf("%c\n",r->next->next->num);}
有如下程序,若文本文件mf1.dat中原有内容为ABC,则运行程序后文件mf1.dat中的内容为( )。#include#includevoid main(){FILE *fp1;fp1=fopen("mf1.txt","w");if (fp1 == NULL){ printf("cannot open the file.\n");exit(0);}fprintf(fp1,"abc");fclose(fp1);}
如果有A→B成立,那么归结过程____归结出空子句;如果A→B不成立,使用归结方法____得到结论。(在以上两空中填“能”或“不能”)
用归结反演证明定理时,若当前归结式为____,则定理得证。