Blog is A Room

Welcome to Nicodechal's Blog

[计算理论基础] 有穷自动机

计算理论基础课程总结

确定性有穷自动机 定义2.1:确定性有穷自动机 M=(Q,Σ,δ,q0,F)M=(Q,\Sigma, \delta, q_0, F) M=(Q,Σ,δ,q​0​​,F) 其中: QQQ:有穷状态集 Σ\SigmaΣ: 输入字母表 δ:Q×Σ→Q\delta: Q \times \Sigma \to Qδ:Q×Σ→Q: 转移函数 扩展的转移函数:δ:Q×Σ∗→Q\delta: Q \tim......