文件名称：flviz:FLVIz-用QTGraphviz编写的有限自动机模拟器
文件大小：28.57MB
文件格式：ZIP
更新时间：2024-05-18 01:37:49
state-machine simulation finite-state-machine formal-languages HTML
FLVIZ-DFA模拟器 FLVIZ代表“形式语言可视化器”。 它是一个Windows GUI程序，它读取配置文件，并基于其内容创建状态机（图形）的可视化，并允许您应用激励（词汇）并查看状态转换的动态发生。 介绍 它最初是在2009年我的“形式语言”课上写的，这是我的M.Sc CS课程的一部分。 最大的挑战是按时交付它并使它在Windows下运行，因为它是在FreeBSD上编写大约3天然后Swift移植的。 您看一眼release目录就可以理解我的意思。 它是为带有SP 3的Windows XP创建的，基于QT Creator和QT4库，自从我完成课程后就没有构建/使用过。 在2015年，我对其进行了更新：通过使用我将其转换为Qt5库，并使其可在Windows Server 2012上使用。 在“形式语言”课程中，我们提供了状态机输入文件。 格式不是我设计的，而且非常不完美。 要求