标签:style blog io color ar sp for 数据 on
DFA的运行
一、 实验目的
1.理解有穷自动机的作用;
2.利用状态图和状态表表示有穷自动机;
3.以程序实现有穷自动机的运行过程;
4.利用状态表和有穷自动机的运行原理编制程序,使得程序能够识别一个输入串是否为一个有效的符号串。具体可以选择下面之一:无符号定点实数,无符号正偶数,自然数,整数,十六进制数,或其他自己定义的符号串。
二、 实验环境
操作系统:window xp
编写环境:visual c++
编写语言:c语言
三、 实验内容
1.简单介绍你所设计的有穷自动机。(要求必须完成无符号正偶数的有穷自动机)
无符号正偶数 正规式
a:1 3 5 7 9
b:2 4 6 8
c:0
(a|b)(a|b|c)*(b|c)|b
2.画出有穷自动机的状态表
3.状态图:
状态表: 0 1 2
0 1 2 -1
1 1 3 3
2 1 3 3
3 1 3 3
3.测试数据和结果。
(修改下表中的内容。要注意输入数据的代表性)
组号
输入数据
结果
1
1#
不接受
2
0#
不接受
3
2#
接受
4
01#
不接受
5
02#
不接受
6
9000#
接受
7
+2#
不接受
8
-2#
不接受
9
9999#
不接受
10
1.25#
不接受
11
-1.12#
不接受
12
122.#
不接受
四、 实验结果
五、 实验小结
附录:源代码
//正规式 (a|b)(a|b|c)*(b|c)|b#include <cstdio>#include <cstring>using namespace std;char a[1000];int dp[4][3] = {1, 2, -1,1, 3, 3,1, 3, 3,1, 3, 3,};bool Q[4] = {0, 0, 1, 1};bool run(){int s = 0;for(int i = 0; a[i] != '#'; i++){if(a[i] == '1' || a[i] == '3' || a[i] == '5' || a[i] == '7' || a[i] == '9')s = dp[s][0];else if(a[i] == '2' || a[i] == '4' || a[i] == '6' || a[i] == '8')s = dp[s][1];else if(a[i] == '0')s = dp[s][2];elsereturn false;if(s == -1)return false;}if(Q[s])return true;return false;}int main(){printf("请输入一个数\n");//输入的字符串以#结尾while(1){scanf("%s", a);if(run())printf("接受\n");elseprintf("不接受\n");}return 0;
标签:style blog io color ar sp for 数据 on
原文地址:http://blog.csdn.net/u011686226/article/details/41121559