确定有限自动机（Deterministic Finite Automata）的最小 化是编译过程中的重要环节。DFA的最小化是指构造一个 与之等价且状态数最小的DFA。
基于8个网页-相关网页
结果提出了一种安全扩展确定有限自动机(safety extended deterministic finite automata,SEDFA)。在使用UMLsec建立软件安全相关的非形式化模型基础上,通过SEDFA准确的描述能够表达安全交互的...
基于4个网页-相关网页
非确定有限自动机 Nondeterministic Finite Automaton
确定有限状态自动机 Deterministic Finite Automaton ; Deterministic finite-state machine ; Deterministic finite state automaton ; Deterministic finite autonoma
不确定有限自动机 [自] non-deterministic finite automaton
非确定有限状态自动机 Nondeterministic Finite Automaton ; NFA ; Nondeterministic finite-state machine
确定性有限自动机 deterministic finite automaton
非确定型有限自动机 Nondeterministic Finite Automata NFlA
确定型有限自动机 deterministic finite automata
确定的有限自动机 DFA ; deterministic finite automata
确定性有限树自动机 deterministic finite tree automaton
摘要：使用子集构造法对非确定有限自动机进行确定化的过程中存在大量重复计算的问题。
Absrtact: the problem of repetitive computing exits in the process of transition from non-deterministic finite automata to deterministic finite automata using the subset construction method.
为解决此问题，基于非确定有限自动机的特点并针对子集构造法的不足，提出了一种优化的非确定有限自动机确定化算法。
To solve this problem, an optimized algorithm for transition from NFA to DFA is put forward on the basis of characters of NFA and according to shortcomings of the subset. construction method.
从正则语言识别的角度证明了正则语言的识别系统确定有限自动机所识别的语言集是一个递归可枚举集，同时讨论了正则语言的可递归性。
The theorem that the language set distinguished deterministic finite automaton is a recursively enumerable set was proved, and then, the recursiveness of regular language was analyzed.
应用推荐