JavaLearning 该项目使用Maven来自动管理第三方库文件。如果不使用maven,手动导入pom.xml中所列举的的依赖包即可。 It uses Maven to manage dependency libs. The file pom.xml lists them in detail. 其包含: 下推有限状态机(Pushdown Automata)的实现,包含测试代码。source code 确定有限状态机和非确定有限状态机的实现, 包含测试代码。source code