舒拉米特·哈拉米什;奥尔纳·库普弗曼 近似确定性格自动机。 （英语） 兹比尔1375.68073 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561，27-41（2012）。 概述：传统自动机接受或拒绝其输入，因此是布尔型的。格自动机推广了传统的设置，并将单词映射到从格中获取的值。特别是，在全序格中，元素是（0,1，cdots，n-1），按标准（leq）顺序排序。格自动机，特别是关于全序格定义的格自动机具有有趣的理论性质以及在形式方法中的应用。最小确定性自动机捕获了形式语言的组合性质和复杂性。确定性自动机在实践中有许多应用。在[作者，Lect.Notes Compute.Sci.6604，199-213（2011；Zbl 1326.68194号)]，我们研究了确定性格自动机的最小化问题。我们证明了该问题一般是NP-完全的，但在格是全序的情况下，可以在多项式时间内求解。多值设置使得将关于格自动机的推理与近似相结合成为可能。近似自动机可以将一个单词映射到一系列值，这些值在某些预定义的距离度量下足够接近其精确值。我们研究了寻找定义在全序格上的最小近似确定性格自动机的问题。我们考虑通过绝对距离进行近似，其中精确值（x）可以映射到近似因子（t）范围内的值（[x-t，x+t]\），以及通过分离进行近似，将值映射到（t）类中。我们证明了在这两种情况下，问题通常是NP-完全的，但指出了可以在多项式时间内解决的特殊情况。关于整个系列，请参见[Zbl 1251.68006号]. 引用于1文件 MSC公司： 65年第68季度 形式语言和自动机 65年第68季度 算法和问题复杂性分析 引文：Zbl 1326.68194号 PDF格式BibTeX公司 XML格式引用 \textit{S.Halamish}和\textit{O.Kupferman}，莱克特。票据计算。科学。7561，27-41（2012；Zbl 1375.68073） 全文： DOI程序