所谓计算,就是从一个符号串f变换成另一个符号串q 例如: >从符号串2+3变换成5就是一个加法计算;:如果符号 串f是x2,而符号串g是2x,从f到g的计算就是微分。 >定理证明也是如此,令俵表示一组公理和推导规则, 令g是一个定理那么从f到g的一系列变换就是定理g 的证明。 文字翻译也是计算,如玳代表一个英文句子,而 g为含意相同的中文句子,那么从倒g就是把英文翻译 成中文。 这些变换间有什么共同点?为什么把它们都叫做计 算?因为它们都是从己知符号(串)开始,一步一步地改 变符号串),经过有限步骤,最后得到一个满足预先规 定的符号的变换过程。 2323 所谓计算，就是从一个符号串f变换成另一个符号串g。 􀂄 例如: ➢从符号串2+3变换成5就是一个加法计算;如果符号 串f是x 2 ，而符号串g是2x,从f到g的计算就是微分。 ➢定理证明也是如此，令f表示一组公理和推导规则， 令g是一个定理,那么从f到g的一系列变换就是定理g 的证明。 ➢文字翻译也是计算，如f代表一个英文句子，而 g为含意相同的中文句子，那么从f到g就是把英文翻译 成中文。 􀂄 这些变换间有什么共同点？为什么把它们都叫做计 算？因为它们都是从己知符号(串)开始，一步一步地改 变符号(串)，经过有限步骤，最后得到一个满足预先规 定的符号(串)的变换过程