论文部分内容阅读
该文讨论了现有的确定有限自动机的化简方法，指出了此方法容易被忽视的疏漏之 处，并提出了一个改进的算法。
关于确定有限自动机化简问题
【摘 要】
：
该文讨论了现有的确定有限自动机的化简方法，指出了此方法容易被忽视的疏漏之 处，并提出了一个改进的算法。
【机 构】
：
大学计算机科学系
【出 处】
：
1999年全国理论计算机科学学术年会
【发表日期】
：
1999年10期
其他文献
新课标大力倡导减负增效,如何做到减负增效?我想用十二个字概括:“功在课前,效在课中,益在课后.”这也是我常常思考的课题——“小学语文有效课堂的‘加减法’”.rn一、“减
《语文课程标准》明确指出:“阅读教学是学生、教师、文本之间对话的过程。”“语文教学应在师生平等对话的过程中进行。”对话理念的引入,的确给语文课堂注入了生机和活力。
有穷字母表Σ中的字母组成的无穷序列称为Σ上的一个Σ—字，Σ上的W—字组成的任意集合称为Σ上的一个W—语言。该文通过两种运算给出W—正则语言类的几个子类的代数描述，这有
该文证明了每一个W—CFL都可表示为一个W—Dyck语言与—W—正规集之交的一个同态。该文还把TakumiKasai所证明的：每个上下文无关语言都可表示为一语言D与一正规集之交的一个同
该文利用有限自动机的布尔矩阵模型来研究状态转移图的分析与综合问题。首先建立布尔矩阵方程Ａ＃+[Ｋ]＃-[ｎｘｎ]Ｘ＃-[ｎｘ１]＝Ｘ＃-[ｎｘ１]的正交解理论和解与圈的关系理论，在此基础上得到了可逆布尔函数矩阵