虽然形式逻辑本身有一套形式化的符号系统可以描述. 但图形化更直观(比如顺序执行的代码总是可以转换为流程图).
已有的比如: 欧拉图 能描述包含关系、整体部分关系.
是否已经有大牛造了类似的轮子?
类似地 : 最近看到铁路图,感觉这东西用来描述形式化的语法,一目了然. 比如运算表达式:
这是一个专为移动设备优化的页面（即为了让你能够在 Google 搜索结果里秒开这个页面），如果你希望参与 V2EX 社区的讨论，你可以继续到 V2EX 上打开本讨论主题的完整版本。
https://www.v2ex.com/t/628850
V2EX 是创意工作者们的社区，是一个分享自己正在做的有趣事物、交流想法，可以遇见新朋友甚至新机会的地方。
V2EX is a community of developers, designers and creative people.