我正在写一篇关于形式语言类别的论文，我想要一张显示其层次结构的图表。
与此类似（来自维基百科：）
是否有一个 LaTeX 包，我可以给出类之间的关系，并让它自动生成并布置维恩图？
我的想法是，我会给它一个类列表，以及它们之间的一些关系，即哪些是相互包含的，哪些是不相交的，哪些是不可比较的但不是不相交的。包含被认为是可传递的（即，如果 A 在 B 中，B 在 C 中，那么 A 在 C 中）。
有没有办法以编程方式执行此操作，或者有一个程序包可以自动执行此操作？我的想法是，我不断地向图表中添加新类，并且希望它每次发现新关系时都能自动更新。