Branco，Mário J.J。;让-埃里克·品 定义正则语言格的多项式闭包的方程。 （英语） 兹比尔1248.68340 Albers，Susanne（编辑）等人，《自动化，语言和编程》。2009年7月5日至12日，第36届国际学术讨论会，ICALP 2009，希腊罗兹。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-02929-5/pbk）。计算机科学课堂讲稿5556115-126（2009）。 摘要：一类语言（a^{*}）的多项式闭包Pol（（mathcal{L}）是一组语言，这些语言是形式为（L{0}a{1}L{1}点a{n}L{n}的标记乘积的有限并集，其中（a{i}）为字母，（L{i}\）为元素。本文的主要结果给出了Pol（（mathcal{L}）的一个方程描述，并给出了当（mathcal{L}\）是在商下封闭的正则语言格或语言的商代数（如我们在后继中所称）时，Pol（mathcal{L}\）的方程描述。术语“等式描述”指的是最近的一篇论文[M.盖尔克,S.格里戈里夫和《期刊》。引脚，莱克特。注释计算。科学。5126, 246–257 (2008;Zbl 1165.68049号)]，其中证明了正则语言的任何格都可以由一组profinite方程定义。更正式地说，我们的主要结果如下：如果\（mathcal{L}）是语言的商代数，那么\（text{Pol}（\mathcal}）\由定义形式为\（x^\omega-yx^\omega\leq-x^\ω\）的语言类的方程组定义，其中\（x，y）是profinite单词，使得方程\（x=x^2）和\（y\leqx\）由\（mathcal{L{）满足。关于整个系列，请参见[Zbl 1166.68002号]. 引用于9文件 MSC公司： 70年第68季度 语言代数理论与自动机 引文：Zbl 1165.68049号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.J.Branco}和\textit{J.E.Pin}，莱克特。注释计算。科学。5556115-126（2009年；兹比尔1248.68340） 全文： 内政部 哈尔