形式语言与自动机 - 第一章 - 绪论

集合与关系

1. 包含关系

A是B的真子集,表示为 A\subset B

对于任意两个集合,A = B 的充要条件为 A\subseteq BB\subseteq A

2. 幂集

形式语言与自动机 - 第一章 - 绪论_第1张图片

3. 关系

形式语言与自动机 - 第一章 - 绪论_第2张图片

等价关系:同时具有自反性、对称性和传递性的关系

偏序关系:同时具有自反性、反对称性和传递性的关系

4. 树

完全二元树:每个节点的出度都等于2 / 0

证明技术

1. 数学归纳法

欲证对任意自然数n,P(n)成立:
先证P(0)成立
再证若P(n)成立,则P(n+1)成立

你可能感兴趣的:(形式语言与自动机,学习)