#Automata库 该库旨在模拟自动机，尤其是有限状态机。 它在字符串（符号列表）上执行该机器，执行的结果是自动机是否接受或拒绝该字符串 使用此构造，可以在某些语言环境中构造正则表达式并将其与字符串匹配 ## 1。 自动机自动机是A =（S，Σ，Ω），其中Ω是Σ*的子集，代表自动机的语言。 给定Σ中的字符串s，我们说当且仅当Ω中的s接受A ## 2。 有限状态自动机FSA由五元组M =（S，Σ，q0，F，E）定义，其中： S是状态集 Σ是输入符号的集合 S中的q0是第一个状态 S中包含的F