【问题标题】:Can you explain this , challenge?你能解释一下吗,挑战?
【发布时间】:2015-12-09 22:30:20
【问题描述】:

好吧,让我们看看,我有这个将 NFA 自动化转换为 DFA 的代码;这是我编写的;我发现让我们说一个“错误”;


printf() 指令

这意味着像这样“ printf("",X); ”以防止错误

屏幕上没有要打印的字符,你可以使用任何你想要的参数;即使它没有价值。

问题是当您删除这些指令之一时,结果会颠倒(混合显示)

挑战是:详细解释这个错误!

错误在 NFAtoDFA() 函数第 69 和 75 行

代码如下:

    #include <stdio.h>
    #include <string.h>
    #define max   50 //maximum number of symbols and states
    #define true  1
    #define false 0
    #define epsilon '~'

    char states [max]={'0','1','2','3','4','5','6','7','8','9','W'};
    char initState='0';
    char symbols[max]={epsilon,'a','b'};
    char finalStates[max]={'W'};
    char newSymbols[max]={'a','b'};
    char newStates[max][max];

    int nbrSymbols=3,nbrStates=11,nbrNewStates=0,nbrNewSymbols=0,nfaMaxLength=2,dfaMaxLength=0;

    char NFA [max] [max] [max];
    char DFA [max] [max] [max];
    int mm ;


    /** NDAtoDFA of the NFA */
    void NDAtoDFA();
        char *makeDFAstate  (char state[],int c);
            char *epClosure     (char stat);
            char *nextStates    (char sta,char symb);
            void  add_no_rpt    (char ss[],char aa[]);
            int   getCharIndex  (char str[],char c);
            int   accepted      (char str[],char toAccept[]) ;
        int   findDfaState  (char str[]);
    /*******************************/

    /** flag = 0 | 1         */
    /** keep ( 0 | 1 ) occurrences of char c in a string  */
    void del(char str[],char c,int flag);
    /******************************/


    /** printing Automates */
    void shift(int b,int a);
    void showNFA();
    void showDFA();
    int isFinalState(char state[]);
    /******************************/



    int main()
    {
        strcpy( NFA[0][0],"17");strcpy( NFA[1][0],"24");strcpy( NFA[2][1],"3");strcpy( NFA[3][0],"6");
        strcpy( NFA[4][2],"5");strcpy( NFA[5][0],"6");strcpy( NFA[6][0],"17");strcpy( NFA[7][1],"8");
        strcpy( NFA[8][2],"9");strcpy( NFA[9][2],"W");
        NDAtoDFA();
    }

    /******************************************************/

    /******************************************************/

    void NDAtoDFA()
    {
        int i,j;  char zz[max];
        strcpy(newSymbols,symbols);  del(newSymbols,epsilon,0);

        nbrNewSymbols=strlen(newSymbols);
        /** making the first state*/
        strcpy(newStates[nbrNewStates++], epClosure(initState) );
        /**                       */
                printf("",mm); /** <=== */
        for(i=0;i<nbrNewStates;i++)
        {
            for(j=0;j<nbrNewSymbols;j++)
            {
                strcpy(DFA[i][j],makeDFAstate(newStates[i],j));
                printf("",mm); /** <=== */
                if(findDfaState(DFA[i][j])==false) {strcpy(newStates[nbrNewStates++],DFA[i][j]);
                if(strlen(DFA[i][j])>dfaMaxLength) dfaMaxLength=strlen(DFA[i][j]);//for printing DFA
                }
            }
        }
        showNFA();
        printf("\n      ");shift(dfaMaxLength,0);  printf("[][][]");
        printf("\n      ");shift(dfaMaxLength,0);  printf("||  ||");
        printf("\n      ");shift(dfaMaxLength,0);  printf("||  ||");
        printf("\n      ");shift(dfaMaxLength,0);  printf("||  ||");
        printf("\n      ");shift(dfaMaxLength,0);  printf("||  ||");
        printf("\n      ");shift(dfaMaxLength,2);printf("[][]  [][]");
        printf("\n      ");shift(dfaMaxLength,2);printf(" \\\\    //");
        printf("\n      ");shift(dfaMaxLength,2);printf("  \\\\  // ");
        printf("\n      ");shift(dfaMaxLength,2);printf("   \\\\// ");
        printf("\n      ");shift(dfaMaxLength,2);printf("    \\/ ");
        showDFA();

    }
    /******************************************************/

    /******************************************************/

    void add_no_rpt(char ss[],char aa[])
    {int i,j;char tt[1];
        for (i=0;aa[i]!=0;i++) if(getCharIndex(ss,aa[i])==-1) {tt[0]=aa[i];tt[1]=0;strcat(ss,tt);}
    }
    /******************************************************/

    /******************************************************/

    void del(char str[],char c,int flag)
    {
        char * p,*barrier;
        barrier=p=strchr(str,c);
        if (flag==1)
            {
                barrier=p+1; //set the barrier after the first occurrence of c
                p=strchr(barrier,c);
            }
        while (p!=NULL)
         {
            for (;*p!='\0';p++) *p=*(p+1);
            p=strchr(barrier,c);
         }
    }

    /******************************************************/

    /******************************************************/

    char* nextStates (char sta,char symb)
    {   int i,j;
        for(i=0;i<nbrStates ;i++) if(sta ==states [i]) break;
        for(j=0;j<nbrSymbols;j++) if(symb==symbols[j]) break;
        return NFA[i][j];
    }
    /******************************************************/

    /******************************************************/

    int accepted (char str[],char toAccept[])
    {   int i;
        for (i = 0 ; toAccept[i]!=0; i++)
    {
        if(toAccept[i]==' ') {del(toAccept,toAccept[i],0);if(i!=0) i--;}
        if(getCharIndex(symbols,toAccept[i])!=-1 || getCharIndex(str,toAccept[i])==-1)  {return false;}
    }
    return true;
    }
    /******************************************************/

    /******************************************************/

    int getCharIndex(char str[],char c)
    {
        int i;
        for (i = 0 ; str[i]!=0; i++) if(str[i]==c) return i;
        return -1;
    }

    /******************************************************/

    /******************************************************/
    void showNFA()
    {int i,j;
                printf("\nSYMBOLS: %s\n",symbols);
                printf("STATES : %s\n",states);
                printf("FINAL STATES : %s\n\n",finalStates);
                puts("STATE TRANS.");
                printf("\n      ");shift(dfaMaxLength+2,4);printf("NFA | ");
                for (i = 0; i < nbrSymbols; i++) {printf("  %c", symbols[i]);shift(nfaMaxLength+1,0);}
                printf("\n ");shift(dfaMaxLength+2,0);printf("--------");
                for (i = 0; i < nbrSymbols; i++) for(j=0;j<nfaMaxLength+3;j++) printf("-"); printf("\n");
                for (i = 0; i < nbrStates; i++) {
                    shift(dfaMaxLength+3,0);
                    printf("  %c  | ",states[i]);
                    for (j = 0; j < nbrSymbols; j++)
                    {
                    if(strcmp(NFA[i][j],"")==0) {printf("  -");shift(nfaMaxLength+1,strlen(NFA[i][j]));}
                    else {printf("  %s",NFA[i][j]);shift(nfaMaxLength+2,strlen(NFA[i][j]));}
                    }
                    printf("\n");
                    }

    }
    /******************************************************/

    /******************************************************/

    void shift(int b,int a)
    {int i;
        for (i = 0; i < (b-a); i++)printf(" ");
    }
    /******************************************************/

    /******************************************************/
    void showDFA()
    {int i,j;
                printf("\n\n      ");shift(dfaMaxLength,5);printf("DFA    |");shift(5,0);
                for (i = 0; i < nbrNewSymbols; i++) {printf("%c", newSymbols[i]);shift(dfaMaxLength+5,0);}
                printf("\n     ");for(j=0;j<dfaMaxLength+6;j++)printf("-");
                for (i = 0; i < nbrNewSymbols; i++)for(j=0;j<dfaMaxLength+4;j++)printf("-"); printf("\n");
                for (i = 0; i<nbrNewStates; i++) {
                    if (isFinalState(newStates[i])==true)
                        if (i==0) printf(" <-> ");
                        else printf(" <-- ");
                    else
                        if (i==0) printf(" --> ");
                        else printf("     ");
                        printf("{%s}",newStates[i]);shift(dfaMaxLength,strlen(newStates[i]));printf(" |");
                    for (j = 0; j < nbrNewSymbols; j++)
                        printf("  {%s}  ",DFA[i][j]);
                         printf("\n");
                    }
    }
    /******************************************************/

    /******************************************************/

    char*epClosure(char stat)
    {   int i,j;char zz[max];
        zz[0] = stat;  zz[1]=0;
        for (i=0;zz[i]!=0;i++) add_no_rpt(zz,nextStates(zz[i],epsilon));
        return zz;
    }
    /******************************************************/

    /******************************************************/
    int findDfaState(char str[])
    {
        int i;
        for(i=0;i<nbrNewStates;i++)
        {
            if (accepted(newStates[i],str)==true && strlen(str)==strlen(newStates[i])) return true;
        }
        return false;
    }
    /******************************************************/

    /******************************************************/

    int isFinalState(char state[])
    {
        int i;
        for(i=0;state[i]!=0;i++) if (strchr(finalStates,state[i])!=NULL) return true;
         return false;
    }
    /******************************************************/

    /******************************************************/

    char *makeDFAstate(char state[],int c)
    {
         int i,j;char kk[max],yy[max];
         for (i=0;state[i]!=0;i++)
         {
             add_no_rpt(kk,nextStates(state[i],newSymbols[c]));
             j=strlen(kk)-1;
             add_no_rpt(kk,epClosure(kk[j]));
         }
         return kk;
    }

玩得开心!

【问题讨论】:

  • 您应该从该行看到编译器警告。你读了吗?
  • 是的,我知道,我不想显示任何东西,这个指令特别防止了这个错误,如果你想要的话,用这个替换它 => printf("",mm);
  • 看看您收到的其他警告。他们可能与问题有关。好的代码不会收到任何警告。
  • 只有两个与此 prblm 无关的警告! F:\backup.c||在函数“epClosure”中:| F:\backup.c|220|警告:函数返回局部变量地址[-Wreturn-local-addr]| F:\backup.c||在函数“makeDFAstate”中:| F:\backup.c|257|警告:函数返回局部变量地址[-Wreturn-local-addr]| ||=== 构建完成:0 个错误,2 个警告(0 分钟,0 秒)===|
  • 你怎么知道它们不相关?它们是未定义的行为,可能导致任何事情发生。

标签: c debugging printf puts


【解决方案1】:

您有 2 个函数 epClosuremakeDFAstate 将地址返回给局部变量。这是未定义的行为,可能是您的问题的原因。

要修复它,要么为变量动态分配内存(使用malloc),要么将要写入的地址作为参数,例如void epClosure(char stat, char* buf)。您可能还想传递缓冲区的大小,以确保您不会超过它。

【讨论】:

    【解决方案2】:

    puts(mm) 产生未定义的行为,因为mm 不指向字符串。

    【讨论】:

    • 这就是重点。删除孔指令然后你可以看到结果!
    • 我确实删除了指令并且看到了结果(以及一些关于返回指向局部变量的指针的警告)。但看到结果纯属运气,因为其他两种未定义行为的情况。
    • 谢谢先生,感激不尽:D
    猜你喜欢
    • 1970-01-01
    • 2010-09-12
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 2010-10-05
    • 1970-01-01
    • 2011-04-19
    相关资源
    最近更新 更多