实验目的
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
编程思路
1. 定义一个二维数组保存矩阵,定义一个数组保存字母表,定义一个状态,0开始,定义一个终止状态,该题中为3
2. 遍历字符串,逐个判断字符是否存在字母表中,若有一个不在字母表中,停止循环,输出不接受;
3. 若字符在字母表中,判断当前在哪个状态,以及匹配到哪个字符,该字符在字母表的第几位,例如当前在1状态,该字符为b,则根据矩阵,在二维数组的坐标为[1][1],保存下一个状态为2;依次类推,直到字符串遍历完全,并且处在终止状态(3)时,输出接受,其他情况都为不接受。
import java.util.*; 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欢迎分享,转载请注明来源:内存溢出
评论列表(0条)