DFA图
2016-06-20 10:20:58 0 举报
确定有限状态自动机(DFA)是一种用于描述输入字符串和输出字符串之间关系的数学模型。它由一组状态、一组输入符号、一组输出符号、一组转移函数和一组初始状态组成。在DFA中,每个状态都是一个节点,每个输入符号都是一条有向边,每个输出符号都是一个标记,每个转移函数都是一个条件表达式,每个初始状态都是一个起点。DFA可以用于识别正则表达式、解析编程语言、实现编译器和解释器等。