我想写一些会画有限状态自动机的东西。有人知道与此相关的任何算法吗？
编辑：我应该提到我对graphviz的了解。我想构建自己的绘图程序/函数，因此我需要的是算法的更多理论资料/伪代码。
由于需要以不同的方式绘制不同的图形，因此图形绘制是一个相当复杂的主题-没有一种算法能适合所有方法。
我可以建议以下资源：
这应该是一个很好的起点，第15页提供了许多链接和后续书籍。
