形式语言与自动机理论课件 第一章---绪论.pptVIP

* * 1.2.3 递归定义与归纳证明 例: 对有穷集合A，证明|2A|=2|A|。 证明： 设A为一个有穷集合, 施归纳于|A|： ⑴ 基础：当|A|=0时,|2A|=|{Φ}|=1。 ⑵ 归纳：假设|A|=n时结论成立，这里n≥0， 往证当|A|=n+1时结论成立 2A=2B∪{C∪{a}|C∈2B},由a B 2B∩{C∪{a}|C∈2B}=Φ * * 1.2.3 递归定义与归纳证明 |2A|=|2B∪{C∪{a}|C∈2B}| =|2B|+|{C∪{a}|C∈2B}| =|2B|+|2B| =2*|2B| =2*2|B| =2|B|+1 =2|A| ⑶ 由归纳法原理，结论对任意有穷集合成立。 * * 1.2.3 递归定义与归纳证明 递归定义给出的概念有利于归纳证明。在计算机科学与技术学科中，有许多问题可以用递归定义描述或者用归纳方法进行证明，而且在许多时候，这样做会带来许多方便。 要求：主要是掌握递归定义与归纳证明的叙述格式。 * * 1.3 语言 什么是语言 例如：“学大一生是名我”；“我是一名大学生”。 语言是一定的群体用来进行交流的工具。 语言：某个集合中的元素，按照规则组合成的符号串的集合。 * * 2. 形式语言理