文件名称：symbolicautomata:符号自动机和符号可见下推自动机的库
文件大小：7.19MB
文件格式：ZIP
更新时间：2024-06-13 19:55:35
Java
一个象征性的自动机库 这个高效的自动机库可让您简洁地表示大（或无限）字母。 符号自动机 在符号自动机转换中，带有谓词而不是具体符号。 这使您可以表示大字符集，例如UTF。 例如，过渡0- [az]-> 1表示从状态0到状态1的过渡，每个符号在间隔[az]中。 您可以在此处阅读有关符号自动机的更多信息： : 图书馆 该库支持： 符号自动机及其所有算法（相交，等价，最小化等） 象征性的下推式自动机及其所有算法 符号流式串换能器 符号有限换能器（您可以在此处阅读有关SFT的更多信息： : ） 区间特征理论 安装前 如果要从运行基准测试，使用以下说明 克隆后运行： git子模块初始化 git子模块更新 Eclipse的说明 要求：Java SE> = 1.8 使用库并进行构建的最简单方法是在Eclipse中打开它们。 您需要使用最新版本的Eclipse（> Mars），否则可能