Can I read 形式语言与自动机 on EtoBox?

形式语言与自动机 by 陈文宇,欧齐,程炼编著, 陈文宇, 欧齐, 程炼编著, 陈文宇, 欧齐, 程炼, 陳文宇 is a book available to read on EtoBox.

What is 形式语言与自动机 about?

1 (p0-1): 目录 1 (p0-2): 第1章 预备知识 1 (p0-3): 1.1 集合及其运算 3 (p0-4): 1.2 关系 3 (p0-5): 1.2.1 二元关系 3 (p0-6): 1.2.2 等价关系 4 (p0-7): 1.2.3 关系的合成 5 (p0-8): 1.3 证明和证明的方法 5 (p0-9): 1.3.1 反证法 6 (p0-10): 1.3.2 归纳法 6 (p0-11): 1.3.3 递归的定义与归纳证明 7 (p0-12): 1.4 图与树 8 (p0-13): 1.5 语言 8 (p0-14): 1.6 常用术语 11 (p0-15): 1.7 形式语言与自动机的发展 13 (p0-16): 习题 15 (p0-17): 第2章 文法及语言 15 (p0-18): 2.1 例子语言 19 (p0-19): 2.2 文法和语言的关系 21 (p0-20): 2.3 Chomsky对文法的分类 24 (p0-21): 2.4 文法产生语言 33 (p0-22): 习题 35 (p0-23): 第3章 上下文无关文法与上下文无关语言 36 (p0-24): 3.1 消除无关文法中的无用非终结符号 40 (p0-25): 3.2 推广的化简上下文无关文法 41 (p0-26): 3.3 推导树 43 (p0-27): 3.4 空串定理 44 (p0-28): 3.5 无关语言的泵浦(Pumping)定理 48 (p0-29): 3.6 短语 49 (p0-30): 3.7 形式语言与高级计算机程序设计语言 52 (p0-31): 3.8 形式语言与自然语言 53 (p0-32): 3.9 基本的语法分析方法 54 (p0-33): 3.10 消除左递归 54 (p0-34): 3.10.1 消除直接左递归 55 (p0-35): 3.10.2 消除间接左递归 56 (p0-36): 3.11 上下文无关文法的另一种表示 57 (p0-37): 习题 61 (p0-38): 第4章 Chomsky文法体系及语言之间的运算 61 (p0-39): 4.1 Chomsky的文法体系 61 (p0-40): 4.1.1 文法的分类及文法之间的关系 63 (p0-41): 4.1.2 语言之间的关系 64 (p0-42): 4.2 Chomsky的文法体系的另一种描述 66 (p0-43): 4.3 语言之间的运算及运算的封闭性 67 (p0-44): 4.3.1 语言之间的基本运算 67 (p0-45): 4.3.2 语言之间的运算的封闭性 69 (p0-46): 4.3.3 语言之间的其他运算 70 (p0-47): 4.4 正则表达式和正则集 72 (p0-48): 习题 73 (p0-49): 第5章 语法分析方法 73

Author

陈文宇,欧齐,程炼编著, 陈文宇, 欧齐, 程炼编著, 陈文宇, 欧齐, 程炼, 陳文宇

Publisher

北京:人民邮电出版社

Published

2005

Language

ZH

ISBN

9787115135186