为了画自动机，尝试了
一
markdown的mermaid
使用很方便，只要在typora里使用代码块，并把代码种类命名为mermaid就行
缺点：
1.没找到怎么画两个圈的圆圈
2.边的文字只能嵌在边里，不能放在旁边
3.好像没法画不带边框的文本框
二
graphviz
官网的下载不下来
使用命令行下会报错，所以见下面这种方式下载，直接使用中科院的镜像
//www.greatytc.com/p/9118ee9da3b7
再brew install graphviz
提示需要下一堆的依赖，那就慢慢下好了
接着使用：
直接在终端输不方便，且我第一次尝试报了错
在sublime里这样做，比较方便，生成图片会自动保存为pdf格式：
去看https://zhuanlan.zhihu.com/p/22820399！
注意Mac需要把dot.sublime-build改成评论区所说的内容，不然报错
btw，发现G.dot的默认打开方式居然是word，神奇
三
graphviz语法：
有限状态自动机：
