阿提拉·埃格里·纳吉;尼哈尼夫（Nehaniv）、克里斯托弗（Chrystopher L.）。 有限状态自动机的代数层次分解：克罗恩-罗德斯理论实现的比较。 （英语） Zbl 1115.68429号 Domaratzki，Michael（编辑）等人，《自动机的实现和应用》。2004年7月22日至24日，加拿大金斯顿，CIAA 2004第九届国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-24318-6/pbk）。计算机科学课堂讲稿3317，315-316（2005）。 摘要：有限状态自动机的层次代数分解（Krohn-Rowdes理论）一直是一种数学理论，在本文之前没有任何计算实现，尽管有一些可能且有前景的实际应用，例如软件开发中的自动化面向对象编程，描述了人工智能中用于理解的形式化方法，以及一种广泛适用的积分值复杂性度量。作为对这种情况的补救，我们在这里描述的新实现可以作为开源软件免费获得。我们还介绍了Krohn-Rowes分解的两种不同的计算机代数实现，即（V \cup T）分解和完整分解，并比较了它们在级联分解中的层次数方面的效率。关于整个系列，请参见[Zbl 1063.68004号]. 引用于1文件 MSC公司： 65年第68季度 形式语言和自动机 70年第68季度 语言代数理论与自动机 68瓦30 符号计算和代数计算 软件：间隙;克罗恩·罗德斯 PDF格式BibTeX公司 XML格式引用 \textit{A.Egri-Nagy}和\textit{C.L.Nehaniv}，莱克特。注释计算。科学。3317、315--316（2005；Zbl 1115.68429） 全文： 内政部