论文部分内容阅读
本文通过找出数字逻辑电路与有限自动机的关系，证明了状态图不存在回路的有限自动机与组合逻辑电路的等价性。
有限自动机与Mealy型时序逻辑电路的等价性，从而分别为组合逻辑电路及Mealy型时序逻辑电路找到了数学模型，并运用该模型得出数字电路的计算能力，从理论上解决了数字电路的数学描述问题。运用本文所提出的理论，能够判断设计某一数字逻辑电路的可实现性。