安德烈亚斯·韦伯 关于有限传感器的价值。 (英语) Zbl 0672.68027号 学报信息。 27,第8号,749-780(1990). 我们研究了与内部结构相关的有限传感器的价值。我们证明:具有n个状态和输出字母表的有限值非确定性广义序列机器(NGSM)M的值(Delta)最多为(1-\lfloor 1/\#\Delta\rfloor)\cdot(2^{k_1}\cdot k_3)^n\cdot n\cdot\#\Delta^n^3\cdotk_4/3})和(\floor 1/\#\Delta \rfloor\cdot ot(1+k4))^其中,(k_1\leq 6.25)和(k_2\leq 11.89)是常数,(k_3\geq 1)和(k_4\geq 0)是M的局部结构参数。有两个简单的准则可以表征NGSM的无限值。根据这些准则,NGSM是否无穷值在多项式时间内是可判定的。在这两种情况下,#\(\Delta\)\(>1\)和#\(\ Delta\,)\(=1\),上述值的上界几乎是最优的。通过约简,所有结果都可以很容易地推广到归一化有限传感器。审核人:A.韦伯 引用于32文件 MSC公司: 65年第68季度 形式语言和自动机 65年第68季度 算法和问题复杂性分析 关键词:有限值不确定广义时序机M;有限传感器的价值 PDF格式BibTeX公司 XML格式引用 \textit{A.Weber},《学报年鉴》27,第8期,749--780(1990;Zbl 0672.68027) 全文: 内政部