如何确定直接连接的触发器的可达状态空间（符号状态空间遍历）

Question

我已经在论坛和网上查找了，但在这种特殊情况下我仍然没有想出如何计算可达到的状态空间：   - 让我们假设一个16位数据寄存器，带有16个触发器s_1,...,s_{16}和16个输入x_1,...,x_{16}，它们与触发器的输入直接相连。

那么假设所有触发器在初始状态为0，我现在如何计算可达状态空间。我知道有最大值。 2 ^ n个可用状态当然2 ^ n应该可以到达？

感谢您的回答和澄清。