安德烈亚斯·韦伯 关于有限传感器的价值。 （英语） 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） 全文： 内政部