#Automata库 该库旨在模拟自动机,尤其是有限状态机。 它在字符串(符号列表)上执行该机器,执行的结果是自动机是否接受或拒绝该字符串 使用此构造,可以在某些语言环境中构造正则表达式并将其与字符串匹配 ## 1。 自动机自动机是A =(S,Σ,Ω),其中Ω是Σ*的子集,代表自动机的语言。 给定Σ中的字符串s,我们说当且仅当Ω中的s接受A ## 2。 有限状态自动机FSA由五元组M =(S,Σ,q0,F,E)定义,其中: S是状态集 Σ是输入符号的集合 S中的q0是第一个状态 S中包含的F是一组接受状态,换句话说,M接受的最终状态 S×Σ×S中包含的E是过渡(边)的集合,其中每个边是(u,e,v):从u指向v并用e标记 Ω是可从q0到达的一组字符串 ## 2.1非确定性有限状态自动机NFA是简单的通用FSA M =(S,Σ,q0,F,E) 设A(v,e)是一组顶点,它们是边沿的端点