约瑟夫·彼得·海格;吉尔根·海因茨;威利·昆兹;彼得·奥赫森施莱格;尤根·瓦茨克;韦伯，赫尔穆特 确定性单计数器语言的推理。 （英语） Zbl 0541.68051号 信息科学。 32, 139-163 (1984). 本文提出了基于枚举方法的确定性单计数器语言类的推理算法。这种方法被称为“极限识别”。此类算法必须为识别该语言的类的每种语言生成至少一个自动机。为了为每种语言生成不太多的等价自动机，描述了一种枚举DOCA（确定性单计数器自动机）或某种范式的方法，这种方法不会生成两个同构DOCA。这是通过在所谓的计算轨迹集上生成某些分区来实现的。这是有限状态机推理方法的推广。整个推理方法的组织方式是，枚举所有自动机而不枚举最终状态。直到与样品进行一致性检查后，才能确定最终状态。在文章的最后部分，对上述推论进行了修改。此修改源于示例中包含的有关计算跟踪的附加信息。 MSC公司： 65年第68季度 形式语言和自动机 关键词：语法推理;推理算法;确定性单计数器语言;枚举;限额内的识别;确定性单计数器自动机;计算轨迹 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Heger}等人，《信息科学》。32、139--163（1984年；Zbl 0541.68051） 全文： 内政部 参考文献： [1] Angluin，D.，《可逆语言的推理》，J.Assoc.Comput。机器。，29, 741-765 (1982) ·Zbl 0485.68066号 [2] Fu，K.S。；Booth，T.，《语法推理：介绍与调查》，第二卷，IEEE Trans。Systems Man Cybernet。，SMC-5409-423（1975）·Zbl 0323.68052号 [3] Gold，E.M.，《限额内的语言识别、通知和控制》，10447-474（1967）·Zbl 0259.68032号 [4] Gold，E.M.，通过状态表征进行系统识别，Automatica，8621-636（1972）·兹比尔0251.93008 [5] Harrison，M.A.，形式语言理论导论（1978），Addison-Wesley·兹伯利0411.68058 [6] Heger，J。；海因茨，J。；Kunz，W。；Watzke，J。；韦伯，H.，Verfahren zur Inferenz von deterministischen Sprachen，（Diplorabeit（1981），Fachbereich Informatik TH:Fachbereic Informatik TH Darmstadt） [7] Miclet，L.，尾聚类法正则推理，IEEE Trans。Systems Man Cybernet。，SMC-10737-743（1980） [8] P.Ochsenschlaeger，Inferenze determinister Kellerautomaten，Forschungsberich TI 9/81，Fachbereich Informatik TH，Darmstadt。；P.Ochsenschlaeger，Inferenze determinister Kellerautomaten，Forschungsberich TI 9/81，Fachbereich Informatik TH，Darmstadt。 [9] Pao，T.W。；Carr，J.W.，正则语言语法归纳引用问题的解决方案，计算。语言，353-64（1978）·Zbl 0364.68063号 [10] Thiele，H.，Lernverfahren zur Erkennung formaler Sprachen，Lernende Systeme，Kybernetik-Forschung，3，11-93（1973）·Zbl 0257.68062号 [11] Valiant，L.G。；Paterson，M.S.，确定性单计数器自动机，J.Compute。系统科学。，10, 340-350 (1975) ·Zbl 0307.68038号 [12] 沃顿，R.M.，语法列举与推理，Inform。和控制，33，253-272（1977）·Zbl 0359.68100号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。