克里斯托夫·鲁特瑙尔;马塞尔·鲍尔·舒岑伯格 有理词功能的最小化。 (英语) Zbl 0736.68062号 SIAM J.计算。 20,第4期,669-685(1991). 摘要:有理函数从一个自由幺半群到另一个有理函数的特征是与函数自然相关的某些同余的指数是有限的。构造了一个序列双机来计算该函数,该函数是完全规范的,在某种意义上是最小的。这推广了Nerode准则和有理语言的最小自动机,以及序列函数的类似结果。 引用于三评论引用于9文件 MSC公司: 65年第68季度 形式语言和自动机 关键词:有理函数;顺序双机 PDF格式BibTeX公司 XML格式引用 \textit{C.Reutenauer}和\textit{M.-P.Schutzenberger},SIAM J.Compute。20,第4号,669--685(1991;Zbl 0736.68062) 全文: 内政部 链接