通用自动机构造平台(Generailzed Platform for Constructing Automata)

自动机理论(Theory of Automata)在计算机学科里占有着十分重要的地位，广泛的应用于控制系统、人工智能、编译器、形式化验证等诸多领域。有穷状态自动机(Finite-state Automata, FA)，简称为自动机，是自动机理论一个重要的研究分支，根据其接收串是否有穷分为经典有穷状态自动机和Omega自动机(Omega Automata, OA)。前者接收的语言为正则语言(Regular Language)，后者接收的语言为Omega正则语言(Omega Regular Language)。根据接收条件的不同，Omega自动机又分为Büchi自动机(Büchi Automata)、Rabin自动机(Rabin Automata)、Streett自动机 (Streett Automata)、Parity自动机(Parity Automata)和Muller自动机(Muller Automata)。 本项目旨在开发一个通用的自动机构造平台，为各类型有穷状态自动机的构造、逻辑运算和判空提供支持。项目开发语言为C语言，目标运行平台为Linux。