PyFSA

一个用于渲染有限状态图的Python CLI。

此应用程序接收一个包含状态信息的CSV文件，并使用它来生成有限状态图，并验证给定状态信息、起始状态和所需状态时字符串是否有效。string子命令还可以通过状态机渲染字符串的遍历图。

安装

您可以使用pip直接从GitHub安装此项目，但它也存在于pypi中。按如下方式安装它

python3 -m pip install pyfsa

运行此项目需要GraphViz，因为GraphViz是用于创建png文件的渲染引擎。您可以在此处找到有关如何进行此操作的大量信息。

在Ubuntu上，您可以在您的包管理器中找到它，或者直接使用APT安装它。

$ apt install graphviz

您可能还需要安装GraphViz开发库以确保Python包装器pygraphviz正常运行。您可以在他们的网站上找到有关安装pygraphviz的更多信息。在Ubuntu上，您可以使用以下命令安装它

$ apt install libgraphviz-dev

示例

状态文件

trigger,source,target
a,x,y
b,x,z
a,y,x
b,y,z
a,z,z
b,z,z

fsa state -f examples/states.csv

fsa state -f examples/states.csv -s x

fsa state -f examples/states.csv -e z

fsa state -f examples/states.csv -s x -e z