文件名称：Automata:用于检查字符串是否被 NFA、DFA 或下推自动机接受的程序，以及用于检测标记转换系统上的死锁的程序
文件大小：3.04MB
文件格式：ZIP
更新时间：2024-07-16 15:27:52
Java
自动机 用于检查字符串是否被 NFA、DFA 或下推自动机接受的程序，以及用于检测两个链接的标记转换系统上可能的死锁情况的程序。 该项目是 2014 年秋季的一项学校作业。它被标记为 9/10。
【文件预览】：
Automata-master
----README.md(267B)
----automataXml()
--------automaton1.Xml(2KB)
--------stack_anbn.Xml(3KB)
--------automaton2.Xml(2KB)
--------automaton0.Xml(2KB)
----test()
--------domainTest()
----manifest.mf(85B)
----src()
--------domain()
--------client()
--------files()
--------gui()
----lib()
--------CopyLibs()
--------nblibraries.properties(1KB)
--------XStream()
--------testng()
--------junit()
--------XStream1.4.7()
--------junit_4()
----build.xml(3KB)
----nbproject()
--------build-impl.xml(79KB)
--------jfx-impl.xml(215KB)
--------jfx-impl_backup_1.xml(215KB)
--------configs()
--------jfx-impl_backup_2.xml(214KB)
--------UPDATED.TXT(1KB)
--------project.properties(4KB)
--------project.xml(1KB)
--------jfx-impl_backup.xml(214KB)
--------genfiles.properties(475B)