是否有通过查看代码生成状态空间的工具。即，如果我给出一个类定义，它应该生成状态机。
编辑：状态机我的意思是只是类和状态变化的图形表示。
答案 0 :(得分：1)
我担心你必须更加具体。
一个类的状态空间是每个组件的状态空间的笛卡尔积，并且它不需要特别复杂的类来拥有比宇宙中的质子更多的可能状态。除了少数例外，C ++代码不适合用状态空间进行分析。
状态机通常与正则表达式相关联。你想要一个用正则表达式做某事的工具吗？
如果是这样，什么？接受正则表达式的语言会将它们转换为状态空间表示形式，将其保留为某种内部形式。你想要它以可读图的形式，如标签所暗示的那样吗？
答案 1 :(得分：0)
许多类具有无限数量的状态，因此创建状态机是不可行的......例如，回文没有DFA，因此任何接受回文的类都没有可用的状态图......