罗尔夫·林德纳(编辑);赫尔穆特·蒂勒(编辑) [H·蒂勒。;H.Jung。;H.-D.伯克哈德。;维哈根,R。;J·格拉博夫斯基。;Jantke,K.-P。;R·克莱特。;G.沃纳。;林德纳,R。;克鲁岑堡,E。;斯泰格,L。;Hübler,A。] Strukturerkennung diskreter kybernetischer系统。 (德语) Zbl 0609.68009号 研讨会。,洪堡大学(Sekt.Berlin)。数学。 82、452页(1986年). 本集的主要目的在于开发和研究基于输入输出示例的自动程序合成方法。我们特别考虑了对象识别的交互式建模、有限自动机实验理论、可识别函数类的特征、强识别、统一识别、可识别功能类的索引集、函数预测、错误信息识别、,非随机序列的识别和树自动机的破译。(摘要)。内容:H.蒂勒和H.Jung先生:Abstrakte interktive Erkennungsmodelle(第1-52页);H.-D.伯克哈德:鉴定自动化试验(第53-93页);R.维哈根:Kompliziertheits-und numerierungtheoretische Charakterisierung von erkenbaren Klassen rekursiver Funktitionen(第94-167页);J.格拉博夫斯基:Starke Erkennung(第168-184页);K.-P.詹特克:Universelle Verfahren zur Erkennung von effktiv numerierbaren Funktitonenklassen(第185-203页);R.克莱特:《Funktionen的复兴》(第204-266页);G.沃纳:《有效预测》(Effective Prognose von allgemein-rekursiven Funktitonen)(第267-285页);R.林德纳和G.沃纳:(\(\σ\),\(\τ)\)-Folgen预测(第286-322页);J.格拉博夫斯基:《Erkennungstehorie und seine Anwendung》中的Ein Fortsetzungsprinzip(第323-341页);E.克鲁岑堡和L.斯泰格:Zur Erkennung regulärer Gesetzmäßigkeiten(第342-383页);A.胡布勒:Limeserkennung von Baumakzeptoren(第384-452页)。 引用于4文件 理学硕士: 68-06 与计算机科学有关的会议记录、会议、收藏等 03-06 与数理逻辑和基础有关的会议记录、会议、收藏等 03D20日 递归函数和关系、子递归层次结构 68号01 软件理论的一般主题 65年第68季度 形式语言和自动机 68瓦99 计算机科学中的算法 03D60年 序数、容许集等的可计算性和递归理论。 03D45号 计算理论,有效呈现结构 关键词:归纳推理;基于输入输出示例的程序自动综合;物体识别的交互式建模;有限自动机实验;可识别的函数类;函数的预测;错误信息;非随机序列;树自动机的破译 PDF格式BibTeX公司 XML格式引用 \textit{R.Lindner}(编辑)和textit{H.Thiele}(主编),研讨会。,洪堡大学(Sekt.Berlin)。数学。82452页(1986年;兹bl 0609.68009)