编译原理——有穷自动机（JAVA）

实验目的

 1. 理解有穷自动机的作用；

2. 利用五元组、状态图和矩阵表表示有穷自动机；

3.以程序实现有穷自动机的运行过程。

实验原理和内容

 

五元组形式及矩阵表示

DFAM＝（｛0,1,2,3｝,｛a，b｝，f，0，｛3｝）其中f定义为：

f (0, a) = 1 f ( 2, a ) = 1

f (0, b) = 0 f ( 2, b ) = 3

f (1, a) = 1 f ( 3, a ) = 1

f (1, b) =2  f ( 3, b) = 0

	a	b
0	1	0
1	1	2
2	1	3
3	1	0

编程思路

1. 定义一个二维数组保存矩阵，定义一个数组保存字母表，定义一个状态，0开始，定义一个终止状态，该题中为3

2. 遍历字符串，逐个判断字符是否存在字母表中，若有一个不在字母表中，停止循环，输出不接受；

3. 若字符在字母表中，判断当前在哪个状态，以及匹配到哪个字符，该字符在字母表的第几位，例如当前在1状态，该字符为b，则根据矩阵，在二维数组的坐标为[1][1]，保存下一个状态为2；依次类推，直到字符串遍历完全，并且处在终止状态（3）时，输出接受，其他情况都为不接受。

 

 

 

import java.util.*;


/*测试例子*/
/*ab#      不通过*/
/*abb#     通过*/
/*bbababb# 通过*/
/*bbababb# 通过*/
/*aabbbaabb# 通过*/
/*abbaba#   不通过*/

public class DFA {
	public static void main(String args[]) {
		char[] ch=new char[] {'a','b'};
		int[][] matrix = new int[][]{{1,0},{1,2},{1,3},{3,0}};
		int end=3;
		Scanner sc=new Scanner(System.in);
		String s=sc.next();
		String str=s.substring(0, s.length()-1);
		
		int next=0;
		int flag=-1;
		int i=0;
		for(i=0;i<str.length();i++) {
			flag=-1;
			for(int j=0;j<ch.length;j++) {
				if(str.charAt(i)==ch[j]) {
					next=matrix[next][j];
					flag=0;
					break;
				}
			}
			if(flag==-1) {
				break;
			}
		}
		if(i==str.length()&&next==end) {
			System.out.print("接受");
		}
		else {
			System.out.print("不接受");
		}
	}
}