python编程自然数表达式_[宜配屋]听图阁
普通的数学运算用这个纯抽象的符号演算来定义,计算结果只能在脑子里存在。所以写了点代码,来验证文章中介绍的演算规则。
我们来验证文章里介绍的自然数及自然数运算规则。说到自然数,今天还百度了一下,据度娘说,1993年后国家规定0是属于自然数。先定义自然数及自然数的运算规则:
用lambda表达式定义自然数(邱齐数)
0 := λf.λx.x
1 := λf.λx.f x
2 := λf.λx.f (f x)
3 := λf.λx.f (f (f x))
...
上面定义直观的意思就是数字n, 是f(x)的n阶函数。1就是f(x), 2就是f(f(x))....,严格来说,这样表述并不准确。其实每个邱奇数都是一个二阶函数,它有两个变量f和x。用二元命名函数来表达就是:
0 -> num0(f,x)=x
1 -> num1(f, x)=f(x)
2 -> num2(f,x)=f(f(x))
3 -> num3(f,x)=f(f(f(x)))
...
其中参数f是一个函数。这一段有点绕,但是不能理解这个,对后面的lambda演算理解会比较困难。
首先用递归法,定义邱齐数(自然数)
0是自然数, 度娘说1993年后,国家规定0是属于自然数。
每个自然数,都有一个后续。
用代码表达就是:
NUM0=lambda f: lambda x:x
SUCC=lambda n: lambda f: lambda x: f(n(f)(x))
后面则是定义运算符,包括加法,乘法,减法和幂。维基文章里没有介绍除法,估摸着除法定义比较复杂,一时讲不清楚。那我们也不验证了。
################################################
#define number calculus rules
################################################
#define Church numeral inductively.
#0 := λf.λx.x
#1 := λf.λx.f x
#2 := λf.λx.f (f x)
#3 := λf.λx.f (f (f x))
#...
NUM0=lambda f: lambda x:x
SUCC=lambda n: lambda f: lambda x: f(n(f)(x))
#define Operator
PLUS=lambda m: lambda n: m(SUCC)(n)
MULT= lambda m: lambda n: m(PLUS(n))(NUM0)
#define predecessor to obtain the previous number.
PRED= lambda n: lambda f: lambda x: n(lambda g: lambda h: h(g(f)))(lambda u:x)(lambda u:u)
SUB=lambda m: lambda n: n(PRED)(m)
POW=lambda b: lambda e: e(b)
定义完了什么是自然数和自然数的运算子。那么自然数的运算,就可以用lambda演算的方式计算了。
问题是上面的定义都是抽象的符号演算,我们需要有一个编码器来把上面的抽象的Church numeral符号编码成可以人来阅读的形式,还需把人输入的数字解码成抽象符号。
################################################
#create encoder to input/output Church numeral
################################################
class LambdaEncoding:
@staticmethod
def encoding(exp,encoder):
return encoder().encoding(exp)
@staticmethod
def decoding(s, decoder):
return decoder().decoding(s)
class NumEncoder:
def encoding(self,num):
f=lambda x:x+1
return str(num(f)(0))
def decoding(self,s):
n=int(s)
num=NUM0
for i in range(n):
num=SUCC(num)
return num
嗯,有了编码器,就可以方便的来验证了。
################################################
#calculus demo
################################################
print("demo number calculus.\n"
"don't input large number,"
"it will cause to exceed maximum recursion depth!\n")
n1=input('input a number: ')
n2=input('input anohter number: ')
#decode string to Church numeral
num1=LambdaEncoding.decoding(n1,NumEncoder)
num2=LambdaEncoding.decoding(n2,NumEncoder)
#add
result=PLUS(num1)(num2)
print('{0} + {1} = {2}'.format(
n1,
n2,
LambdaEncoding.encoding(result, NumEncoder)))
#mult
result=MULT(num1)(num2)
print('{0} X {1} = {2}'.format(
n1,
n2,
LambdaEncoding.encoding(result, NumEncoder)))
#sub
result=SUB(num1)(num2)
print('{0} - {1} = {2}'.format(
n1,
n2,
LambdaEncoding.encoding(result, NumEncoder)))
#POW
result=POW(num1)(num2)
print('{0} ^ {1} = {2}'.format(
n1,
n2,
LambdaEncoding.encoding(result, NumEncoder)))
测试结果如下:
>>>
demo number calculus.
don't input large number,it will cause to exceed maximum recursion depth!
input a number: 4
input anohter number: 3
4 + 3 = 7
4 X 3 = 12
4 - 3 = 1
4 ^ 3 = 64
>>>
神奇吧。
lambda和def的区别python lambda是在python中使用lambda来创建匿名函数,而用def创建的方法是有名称的,除了从表面上的方法名不一样外,python lambda还有哪些和def不一样呢?
1 python lambda会创建一个函数对象,但不会把这个函数对象赋给一个标识符,而def则会把函数对象赋值给一个变量。
2 python lambda它只是一个表达式,而def则是一个语句。
下面是python lambda的格式,看起来好精简阿。
lambda x: print x
如果你在python 列表解析里用到python lambda,我感觉意义不是很大,因为python lambda它会创建一个函数对象,但马上又给丢弃了,因为你没有使用它的返回值,即那个函数对象。也正是由于lambda只是一个表达式,它可以直接作为python 列表或python 字典的成员,比如:
info = [lamba a: a**3, lambda b: b**3]
在这个地方没有办法用def语句直接代替。因为def是语句,不是表达式不能嵌套在里面,lambda表达式在“:”后只能有一个表达式。也就是说,在def中,用return可以返回的也可以放在lambda后面,不能用return返回的也不能定义在python lambda后面。因此,像if或for或print这种语句就不能用于lambda中,lambda一般只用来定义简单的函数。
下面举几个python lambda的例子吧
1单个参数的:
g = lambda x:x*2
print g(3)
结果是6
多个参数的:
m = lambda x,y,z: (x-y)*z
print m(3,1,2)
结果是4
python编程自然数表达式_[宜配屋]听图阁相关推荐
- python上下文管理关键字_[宜配屋]听图阁
前言 如果你有阅读源码的习惯,可能会看到一些优秀的代码经常出现带有 "with" 关键字的语句,它通常用在什么场景呢?今天就来说说 with 和 上下文管理器. 对于系统资源如文件 ...
- python tkinter布局混用_[宜配屋]听图阁
这篇文章主要介绍了python tkinter控件布局项目实例,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友可以参考下 代码部分: from tkinter ...
- 太极图python自定义函数绘制_[宜配屋]听图阁
效果如下所示: # -*- coding: utf-8 -*- import turtle # 绘制太极图函数 def draw_TJT(R): turtle.screensize(800, 600, ...
- python图片横向合并_[宜配屋]听图阁
起因: 有一批数据需要每个月进行分析,数据存储在excel中,行标题一致,需要横向合并进行分析. 数据示意: 具有多个 代码: # -*- coding: utf-8 -*- "" ...
- python写抽奖转盘_[宜配屋]听图阁
本文实例为大家分享了python实现转盘效果的具体代码,供大家参考,具体内容如下 #抽奖 面向对象版本 import tkinter import time import threading clas ...
- python怎么放音乐_[宜配屋]听图阁
本文实例使用Tkinter实现在线音乐播放器的具体代码,供大家参考,具体内容如下 1.先使用Tkinter库写界面 2.写点击按钮触发的事件 (1).使用网易音乐的api,返回数据包装成json格式数 ...
- python画e指数函数_[宜配屋]听图阁
这里用Python逼近函数y = exp(x);同样使用泰勒函数去逼近: exp(x) = 1 + x + (x)^2/(2!) + .. + (x)^n/(n!) + ... #!/usr/bin/ ...
- python七彩蟒蛇代码_[宜配屋]听图阁
本文主要研究的是Python编程turtle的实例,绘制一个七彩蟒蛇..具体如下. 第2周的课后练习里,有一道题目,要求修改"蟒蛇绘制"程序,对Python 蟒蛇的每个部分采用不同 ...
- python echo(msg) 字符串_[宜配屋]听图阁
本文实例讲述了python实现动态创建类的方法.分享给大家供大家参考,具体如下: python作为动态语言,如何在运行时动态创建类呢(python Creating classes dynamical ...
最新文章
- MySQL 5.5.35 单机多实例配置详解
- Qt Designer下的一些基础操作
- 虽然不能取代排版之王,但 Word 也能这样优雅地用
- 2.2.1 Sqoop1的基本架构
- leanote 信息栏显示笔记本和笔记类型
- python多线程编程(4): 死锁和可重入锁
- 架构解密从分布式到微服务:微服务架构到底是什么?
- 天津商业大学C语言题库,天津商业大学c语言机考改错及解答(含答案)解析.doc
- CENTOS利用Keepalived构建双主MySQL+双机热备
- PHP使用缓存生成静态页面
- vue项目保存页面为pdf 、word
- Git 64位安装包下载
- windows10远程桌面 删除IP记录
- 科学计算机要用的电池是几号,科学计算器电池
- Django中的views
- 常见开源Java论坛(附JForum论坛安装以及部署)
- python实例属性没有init_处理init外部定义的实例属性的更好/更python方式?
- 又一个同学被快手挂掉了
- 电机振动噪声(NVH)气隙磁场推导
- MATLAB中广义极值分布的分析、测试、个人理解
热门文章
- corefx 源码学习:SqlClient 是如何同步建立 Socket 连接的
- .NET Core微服务之路:基于Ocelot的API网关实现--http/https协议篇
- IdentityServer4-客户端的授权模式原理分析(三)
- 编写高性能 .NET 代码 第二章:垃圾回收
- Xamarin的Kimono以及Google的Guetzli和Draco
- Conway#39;s law(康威定律)
- go 返回mysql数组_Go基础之--操作Mysql(一)
- 计算机一级选择题已做完确认,计算机一级选择题(附答案)
- [转]Android studio 快速解决Gradle's dependency cache may be corrupt 和 Gradle配置 gradle
- 【数据库原理及应用】经典题库附答案(14章全)——第八章:数据库并发控制