Pi演算-科学网—博客.ppt

热烈庆贺西北大学信息科学与技术学院成立五周年计算机科学系成立三十周年！ 2010.6.20.我写给各位同仁的一封信 推荐一本书：2009.9由科学院软件所林惠民院士翻译出版的 “通信与移动系统： π-演算”。 该书作者图灵奖得主Robin Milner为中译本所写的序言中，对中国学者给与了很大的期待：“作为在世界上发挥日益重要作用的伟大国家，中国具有引领为新技术建立科学基础的机会……。” 我们西北大学一向具有重视基础理论的优良传统，我衷心希望大家能够继续坚持这点优势，并向你们的学生强调学习理论的重要性。 我愿意同大家共享学习心得。 读几本经典的书 如果问中文系的老师、学生，你读过几遍红楼梦? 计算机系的学生要读几本甚么样的经典图书？ 计算机科学是20世纪人类历史上最伟大的科技成就。 承担为新技术建立科学基础的重任。 实践和理论的关系 不能把这个循环简单化。这个循环可能要由很多人，甚至几代人分工来完成。 要允许理论研究暂时离开实践活动。 对学理论的几点心得 学理论的大敌，就是“急用先学、立竿见影”的功利主义。 不要在学理论时，总是不断地问：有什么用？有用才学，没用就不学。而是要下力气先学懂弄通。 要能静下心来，不是去简单背诵理论的结论，而是要顺着作者的逻辑，仔细品味理论背后的真谛，学习如何提出问题和解决问题的方法。 学理论要试着提出些问题，通过对问题的解决加深对理论的理解。 Pi 演算(π-calculus)模型介绍及其 表达能力(Expressiveness)的研究 Pi 演算(π-calculus) Pi 演算起源于上世纪80年代末，由图灵奖得主Robin Milner提出。 它是一种描述和分析并发系统的演算模型，用演算中的归约表示由进程间的相互通信形成的动态演化。 罗宾. 米勒 Robin Milner LCF(logic for computable functions) ML (Metalanguage)元语言，也称函数式语言 CCS (calculus for communicating systems)通信系统演算 1989年提出 ?- calculus ( Milner, R., Parrow, J. and Walker, D. A calculus of mobile processes. 移动进程演算) ?-演算介绍提纲 什么是演算 演算的三大要素 逻辑演算 ?-演算 ?-演算的基本概念 符号系统 ?-表达式的语法 ?-演算的演算规则 结构等同 规约 π-演算的一个重要特点，动态耦合系统 什么是演算？ 演算的起源， 17世纪后期，德国哲学家莱布尼茨首先明确地提出了数理逻辑的指导思想。他设想能建立一“普遍的符号语言”，这种语言包含着“思想的字母”，每一基本概念应由一表意符号来表示。一种完善的符号语言又应该是一个“思维的演算”，他设想，论辩或争论可以用演算来解决。 演算的例子 命题演算 – 命题逻辑 谓词演算 – 谓词逻辑 时态逻辑演算 – 时态逻辑 ?-演算 – 可计算函数 构成演算的三大要素 符号系统 表达式的合式形成规则 演算（推演）规则 演算的表达能力、应用。 符号系统（Signature） 系统中所用的符号，构成演算对象的基本元素。 例如，命题演算中的 命题变量：p,q,r,……命题连接词： ? ,? ,?, ?, ? 谓词演算中的 个体变量：x,y,z,……谓词：P,Q,R,…… 全称、存在量词： ?,?。 时态逻辑演算中的 下一时刻算子o，必然算子?，终于算子等。 表达式的形成规则 形成合式表达式的语法规则。 通常使用BNF, EBNF。例如对于命题演算： 合式公式 :: =命题变量 | ? 合式公式 | 合式公式 命题连接词 合式公式 命题变量 ::= 字母 | 命题变量字母 命题连接词 ::= ? | ? | ? | ? 字母 ::= a | b |… | z 如，? p ? q ? p ? q 为避免歧义。合理使用括号和定义连接词优先。 演算、推演规则  例如命题演算的推演规则 ?-演算 – 可计算函数 语法规则 ? -term ::= variable | ? variable . ? -term | ( ? -term ? -term) variable ::= f | g | h | … x | y | z | … 语法规则可更简捷地写为： E ::= V | ?V.E | (E1 E2) V :: = f | g | h | … x | y | z | … 其中V是任意一个变量 ， E i 是任意一个 ?-表达式。 我们称 ?V是?-表达式的 head ， E是?-表达式的 body. 自由变量的集合 fv(E)