Design a counter with T flip‐flops that

kn图取圈的最大化原则 不适用了

取而代之的是对应未定义state中的下一状态不能形成循环

说明题目中这个例子不典型

后面的lockout也只是验证一下

1）没有包含画圈的时候可能有多个方向的画法

2）在用最大化原则直接得出结论后发生了lockout的解决方法