美国洛莫夫。 Tikhonov极限跃迁定理和正则化方法。 （英语。俄文原件） Zbl 0644.34055号 不同。方程 21, 1113-1121 (1985); 来自Differ的翻译。乌拉文。第21卷第10期，1669-1679（1985）。 对渐近集成理论最有趣的成果和思想的简要概述：（1）不同自然语言（NL）句法分析系统之间的定性和定量比较；（2） 将形式良好的约束作为逻辑推导集成到解析器中；（3） 对不同逻辑类型语法（如上下文不连续语法）及其与不同语言理论的关系（如N.乔姆斯基的政府和约束）的现实评价；（4） 将函数结构和方程集成到现有逻辑文法中（通过预处理、规则修剪、解释或编译），以提高其性能；（5） NL的逻辑语义抽象；（6） 几种语言现象（修饰语、比较语）的处理方法；（7） 逻辑程序设计中的概念图；（8） Prolog扩展以固有地集成NL特定的句法结构；（9） NL生成中语法和语义的联系；（10） 基于NL的演绎数据库中的接口和推理问题。我认为这本书标志着NL逻辑编程方法成熟过程的开始。这个思想可以用以下一般形式综合：逻辑编程只是一个非常有用的工具，但它不能替代（计算效率高）理论语言建模的必要性。审核人：N.Curteanu公司 理学硕士： 34E99型 常微分方程的渐近理论 35B25型 偏微分方程背景下的奇异摄动 关键词：一阶微分方程;最有趣的成果和思想的渐进集成：（1）不同自然语言（NL）句法分析之间的定性和定量比较;逻辑语法;逻辑程序设计;Prolog公司 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Lomov}，不同。方程21113-1121（1985；Zbl 0644.34055）；来自Differ的翻译。乌拉文。第10号第21页，1669--1679（1985）