多项选择题 状态图应该是明确的，其输出弧线上的表达式应满足（）。

多项选择题 等价状态是指（）。

单项选择题 设计一个模10的计数器，至少需要（）个状态变量。