状态机包括两个主要部分：（）和（）。（）用于存储状态机的内部状态。

加法器有（）和（）之分，（）可以用两个（）构成。

填空题加法器有（）和（）之分，（）可以用两个（）构成。

信号类属性有4种，它们是：（），（），（）和（）。

填空题信号类属性有4种，它们是：（），（），（）和（）。

函数类属性有（），（）和（）3种。

填空题函数类属性有（），（）和（）3种。