商自动机相关论文
提出一种基于场景规约的系统行为建模方法．采用消息序列图描述场景，把场景规约中构件实例之间消息传递的事件序列作为一种显式的场景......
本文从两个幺半群之间的同态出发,构造自动机之间的满同态,得到自动机的同余关系,进一步,在状态集的商集上,重新构造新的自动机（即......
文中给出了广义正规自动机上L关系的定义。由此出发刻画了广义标准自动机,即L是等价关系的广义正规自动机。证明了L是广义标准自动......
提出了格值有限状态自动机（LFsA）的同态、强同态的概念，研究了LFSAS同态、强同态的若干性质。在LFSAS强同态的基础上，得到了LFSA的商自......
