自动机 一个轻量级的库，使用Scala3编译器（Dotty）实现自动机。 与ENSEIRB-MATMECA模块IF114相关：“有限自动机和应用程序”。 注意：该项目正在建设中。 例子： import com . automatty . _ trait Alphabet case object A extends Alphabet case object B extends Alphabet // Automata that check if any symbol A is precede