形式语言与自动机理论(绪论--关系).pptVIP

Company Logo LOGO 第一章 绪论 老师：牛之贤 学生：刘冬燕 1.2 关系 具有某种性质的一些对象可以组成一个集合，集合描述的是事物。但是世界上的事物是运动变化的，他们既有区别，又有联系。 关系---被用来反映对象（集合元素）之间的联系和性质。 1.2.1 二元关系 1.2.2 等价关系和等价类 1.2.3 关系合成 1.2.4 递归定义与归纳证明 1.2.5 关系的闭包 1.2.1 二元关系(binary relation) 关系的概念：建立在日常生活中存在的各种关系的基础上，用来形式化的表达这些关系。 下面先从通常意义下的大于、小于关系逐步给出二元关系的定义。 例：集合{1,3,4,8}与集合{0,3,5,7}的元素之间存在的小于关系有 13 15 17 35 37 45 47 存在的大于关系有 10 30 40 80 43 83 85 87 现将小于关系换一种表示方法，如13表示成（1,3），这样可以将集合{1,3,4,8}与集合{0,3,5,7}的元素之间存在的小于关系表示： {（1,3），（1,5），（1,7），（3,5），（3,7），（4,5），（4,7）} 这一个集合可以记作：R 则大于关系可以表示为： {（1,0），（3,0），（4,