该文利用有限自动机的布尔矩阵模型来研究状态转移图的分析与综合问题。首先建立布尔矩阵方程Ａ＃+[Ｋ]＃-[ｎｘｎ]Ｘ＃-[ｎｘ１]＝Ｘ＃-[ｎｘ１]的正交解理论和解与圈的......