我想写一些能够绘制有限状态自动机的东西.有谁知道任何与此相关的算法?
编辑:我应该提一下我对graphviz的了解.我想构建自己的绘图程序/函数,所以我正在寻找的是一些更理论化的东西/算法的伪代码.
图形绘制是一个相当复杂的主题,因为需要以不同的方式绘制不同的图形 - 没有一种算法适合所有方法.
我可以建议以下资源:
http://cs.brown.edu/people/rtamassi/papers/gd-tutorial/gd-constraints.pdf
它应该是一个很好的起点,第15页提供了许多链接和书籍来跟进.
要开始使用图形绘制算法,请参阅这篇着名的论文:
" 绘制有向图的技术 "(1993),作者:Emden R. Gansner,Eleftherios Koutsofios,Stephen C. North,Kiem-phong Vo,IEEE Transactions on Software Engineering.
它描述dot
了graphviz绘图程序使用的算法.在链接页面上,您将找到更多参考.当你谷歌"绘制有向图"时,你还会发现更多的论文.
此外,您可能会发现OpenFst很方便,它是有限状态机的通用工具包.它有一个名为fstdraw的二进制文件,它将以可以读取的格式输出有限状态机dot
.