3 
#include<string.h>
#include<stdio.h>


int firstState(char s[], int length);
int secondState(char s[], int length);
int thirdState(char s[], int length);
int forthState(char s[], int length);

int main()
{
    char string[10];

    gets(string);

    if( firstState(string, 0) )
        printf("Accept\n");
    else
        printf( "Not accept\n" );

    return 0;
}

int firstState(char s[], int length)
{  
    if(s[length] == 'a')
        return (secondState(s, length++));
    else if(s[length] == 'b')
        return firstState(s, length++);
    else
        return 0;
}

int secondState(char s[], int length)
{  
    if(s[length] == 'a')
        return secondState(s, length++);
    else if(s[length] == 'b')
        return thirdState(s, length++);
    else
        return 0;
}

int thirdState(char s[], int length)
{  
    if(s[length] == 'a')
        return secondState(s, length++);
    else if(s[length] == 'b')
        return forthState(s, length++);
    else
        return 0;
}

int forthState(char s[], int length)
{  
    if(s[length] == 'a')
        return secondState(s, length++);
    else if(s[length] == 'b')
        return firstState(s, length++);
    else
        return 0;
}

它给了我一个分段错误或核心转储我很困惑！！！有人可以解释为什么它给了我这种错误吗？？？？并告诉如何调试以使我的代码运行得非常清楚！！

我真的厌倦了这个:(

对不起，我的英语不好

4

2 回答 2

7

你有一个无限递归，

return (secondState(s, length++));

传递的length参数是length增量之前的值，所以你只看第一个char。

length将参数作为传递length + 1，并检查它length是否小于 10（char数组的长度string）。

另一个注意事项，

gets(string);

非常不安全，如果输入超过九个字符，则在分配的内存之外写入。采用

fgets(string, sizeof string, stdin);

反而。

好吧，由于只需要上述修复和一个返回值的变化，大部分逻辑是正确的，固定代码：

// #include<string.h> <- We don't use that
#include<stdio.h>

// Match the grammar (a+b)*abb

int firstState(char s[], int length);    // nothing of the suffix matched
int secondState(char s[], int length);   // matched one character of the suffix
int thirdState(char s[], int length);    // matched two
int forthState(char s[], int length);    // matched the complete suffix

int main()
{
    char string[10];
    // Get a 0-terminated string into the buffer.
    fgets(string, sizeof string, stdin);

    if( firstState(string, 0) )
        printf("Accept\n");
    else
        printf( "Not accept\n" );

    return 0;
}

int firstState(char s[], int length)
{  
    if(s[length] == 'a')  // first character of suffix matched
        return (secondState(s, length+1));
    else if(s[length] == 'b')  // nothing matched
        return firstState(s, length+1);
    else    // end of string in not-accepting state
        return 0;
}

int secondState(char s[], int length)
{  
    if(s[length] == 'a')  // the old matched 'a' wasn't part of the suffix, the new may be
        return secondState(s, length+1);
    else if(s[length] == 'b') // now matched two characters of the suffix
        return thirdState(s, length+1);
    else    // end of string in not-accepting state
        return 0;
}

int thirdState(char s[], int length)
{  
    if(s[length] == 'a')  // last three chars aba, the last 'a' could be part of the suffix
        return secondState(s, length+1);
    else if(s[length] == 'b')  // full suffix matched
        return forthState(s, length+1);
    else    // end of string in not-accepting state
        return 0;
}

int forthState(char s[], int length)
{  
    if(s[length] == 'a')  // another char, start a new candidate for the suffix
        return secondState(s, length+1);
    else if(s[length] == 'b')  // another char, can't be part of the suffix, start over
        return firstState(s, length+1);
    else        // end of string in accepting state, yay!
        return 1;
        // return s[length] == '\0';
        // if characters other than 'a' and 'b' need not signal the end of the string
}
于 2012-11-27T01:04:11.640 回答
3

Segmentation Fault 是访问冲突，即当程序尝试访问内存时，它不应该访问http://en.wikipedia.org/wiki/Segmentation_fault。

在您的情况下，这是由不安全的数组索引引起的，例如

int firstState(char s[], int length)
{
...
return firstState(s, length++);
...
}

您实际上并没有检查新长度是否仍在范围内，因此如果字符串不是以空值结尾的，在您的情况下可能不是，那么您将有一个无限循环，导致 SegFault。

对于调试，使用 GUI 将是最明智的方法，在 Windows 上尝试 Visual Studio，在其他一切上尝试 Eclipse。

于 2012-11-27T01:06:27.490 回答