递归缩写

不同语言的缩写类型在源自表意文字的东亚语言中，则以关键字来形成简称。例如：汉语使用人士可能将“北京大学”简称为“北大”。字母文字常见的一种缩写方式是把词语缩短，例如，英文的简称“abbreviation”可能被省略作为“abbr.”或“abbrev.”。除了把一个词语缩短的共同形式之外，还有其它类型的简称。它包括了首字母缩略字、截音法、省略、中略语、音素简称和熔合法。音素简称的例子有：把“Internationalpolice”变成“Interpol”、“LegislativeCouncil”变成“Legco”等。音素简称在英语、法语并不常见，在德语与俄语则比较常见。德国在纳粹党时期和苏联为了新的官僚机构命名时，非常盛行使用音素简称。例如，“Gestapo”代表“GeheimeStaats-Polizei”或秘密警察（即盖世太保）。虽然在纳粹党统治之前已经使用音素简称，譬如“Schupo”...

递归程序在支持自调用的编程语言中，递归可以通过简单的函数调用来完成，如计算阶乘的程序在数学上可以定义为：这一程序在Scheme语言中可以写作：(define(factorialn)(if(=n0)1(*n(factorial(-n1)))))不动点组合子即使一个编程语言不支持自调用，如果在这语言中函数是第一类对象（即可以在运行期创建并作为变量处理），递归可以通过不动点组合子（英语：Fixed-pointcombinator）来产生。以下Scheme程序没有用到自调用，但是利用了一个叫做Z算子（英语：Zcombinator）的不动点组合子，因此同样能达到递归的目的。(defineZ(lambda(f)((lambda(recur)(f(lambdaarg(apply(recurrecur)arg))))(lambda(recur)(f(lambdaarg(apply(recurrecur)a...

概述：计算的概念递归论所考虑的基本问题是，给定一个从自然数到自然数的函数f，f是否是可以被计算的。“可以被计算”，我们先将其当作一个直观的概念。根据直觉，人们一般会认为，一个函数可以被计算是存在一个给定的过程，接受一个自然数n后，该过程进行一定的操作并给出f(n)作为输出。将计算这一直观的概念上升到数学层面的形式化定义这一工作是递归论的根本，并由哥德尔、邱奇、图灵、克莱尼和EmilPost等人在1930年代奠定。他们将图灵可计算性作为有效计算的形式化。在递归论的基本概念被给定之后，一方面人们将该观念应用于数学中，从而证明了一系列自然的问题，如字问题，以及希尔伯特第十问题等问题是不可计算的。另一方面，理论家们进一步拓展，开始了相对可计算性，图灵度等问题的研究。如今，递归论仍是数理逻辑中活跃的领域。历史递归论理论起源自哥德尔、邱奇、图灵、克莱尼和EmilPost在1930年代的工作。他们获得的...

语言例子从前有座山，山里有座庙，庙里有个老和尚，正在给小和尚讲故事呢！故事是什么呢？“从前有座山，山里有座庙，庙里有个老和尚，正在给小和尚讲故事呢！故事是什么呢？‘从前有座山，山里有座庙，庙里有个老和尚，正在给小和尚讲故事呢！故事是什么呢？……’”一只狗来到厨房，偷走一小块面包。厨子举起杓子，把那只狗打死了。于是所有的狗都跑来了，给那只狗掘了一个坟墓，还在墓碑上刻了墓志铭，让未来的狗可以看到：“一只狗来到厨房，偷走一小块面包。厨子举起杓子，把那只狗打死了。于是所有的狗都跑来了，给那只狗掘了一个坟墓，还在墓碑上刻了墓志铭，让未来的狗可以看到：‘一只狗来到厨房，偷走一小块面包。厨子举起杓子，把那只狗打死了。于是所有的狗都跑来了，给那只狗掘了一个坟墓，还在墓碑上刻了墓志铭，让未来的狗可以看到……’”正式定义在数学和计算机科学中，递归指由一种（或多种）简单的基本情况定义的一类对象或方法，并规定其他...

KTV包房中的卡拉OK。MTV音乐电视。C‘rV相声电视。 PTV诗歌机器人电视。STV卫星电视接收系统。HKTV高解像电视系统。 卡拉OK（伴唱音乐）是kara—oke的译音，意思是“无人乐队”。 CT医学用计算机分析成像装置。ICT工业用计算机分析成像装置。 INS高级信息通信系统。CIMS计算机集成制造系统。EDI电子数据交换。