c语言实现自动机dfa,二进制数_被5整除_自动机(DFA)_C语言版@FDDLC

#includeint main()

{

/*

下面的StateSet[CurrentState][Condition]是一个二维数组，前一个索引CurrentState表示

当前状态(转换前的状态)，后一个索引Condition表示转换条件，由CurrentState和Condition

确定的StateSet[CurrentState][Condition]的值表示下一个状态(转换后的状态)。比如：

StateSet[3][1] = 2，数字3、1、2的含义可以这样理解：

3表示当前状态：当前已判断完的二进制字符串被5除的余数为3(假设当前已经判断完了11，

其被5除的余数即为3)。

1表示转换条件：待添加到当前字符串末尾的单个二进制字符为1。

2表示下一个状态：在末尾加入1后形成的新字符串被5除的余数为2(加入1后形成的新字符串111

被5除的余数为2)。

*/

int StateSet[5][2] =

{

{0, 1},

{2, 3},

{4, 0},

{1, 2},

{3, 4}

},

Condition, state = 0;

char BinaryString[200];

/*

输入时可以选择下面几个测试数据：

abc(不是二进制), 123(不是二进制), 101(十进制5), 110(十进制6)

*/

scanf("%s", BinaryString); //输入字符串

int BinaryStringLength = strlen(BinaryString); //求字符串长度

for(int i = 0; i < BinaryStringLength; i++)

{

Condition = (int)(BinaryString[i] - '0'); //字符转数字，比如‘1’转1

if(Condition != 0 && Condition != 1) //不是0、1，则输入非法

{

state = -1;

break;

}

state = StateSet[state][Condition]; //转换后的状态

}

if(state == 0)

printf("\nThe binary string is divisible by 5.\n");

else if(state == -1)

printf("\nThe string is not binary.\n");

else

printf("\nThe binary string isn't divisible by 5, and the remainder is %d.\n", state);

return 0;

}