编译原理 实验2 DFA的运行

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];

		else

			return 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");

		else

			printf("不接受\n"); 

	}

	return 0;