Automaton 源码

自动机 I.确定性有限自动机(DFA) 1.定义 通过遍历由字符串唯一确定的状态序列来接受或拒绝给定符号字符串的有限状态机。 确定性有限自动机M是5元组(Q,Σ,δ,q0,F),由 有限状态集Q 一组有限的输入符号,称为字母Σ 过渡函数δ:Q×Σ→Q Q中的初始或起始状态q0 一组接受状态F是Q的子集 输入 问:一组整数 Σ:一组输入(字符) δ:过渡列表 过渡 : { 'current_state': ... , 'input_value': ..., 'next_state': ... } q0:Q中的状态 F:Q的子集 例子