文法和语言

语言

语言

语言包括两个因素

1. 语言需要包括字母 alphabet
2. 语言需要包括语法 grammer

语法

概念：一个产生句子的规则的集合称为语法

内部符号：终结符(terminals)，非终结符(nonterminals)
一个特殊的符号，开始符号

符号字符串和运算符

字母表和符号

字母表是一个有限集合，∑ 为一个字母表，而a为一个符号有$$a\in \sum$$
符号是字母表中的一个元素。

字符串

字符串是一个符号的有限序列
如果假设$w$为字符串
长度 length $|w|$ 是$w$的长度
比如$|121|$=3,$|Chine|$=5

特别的$|\epsilon |$ =0

注意空串$\epsilon$在集合中依然是一个元素

子字符串，前后缀

概念：字符串的一部分叫做子字符串

在前头的子字符串是前缀，在后头的子字符串是后缀

符号串的联结

两个符号串$x$，$y$ ，如果$x$，$y$联结成$w$ 那么$w=x\cdot y$

比如$x=101$ ，$y=10$ 那么 $w=10110$

如果是符号串集合的联结有 A B = { x y ∣ x ∈ A 且 y ∈ B } AB=\{xy|x∈A且y∈B\} AB={xy∣x∈A且y∈B}
有点像笛卡尔乘积

联结的性质

1. 结合的
2. 不是交换的，左右互换不相等
3. 有单位元$\epsilon$
4. 是半群（离散数学）

符号串的幂

定义$$x^n=\{\begin{array}{ll}\epsilon ,& n=0\\ x{x}^{n-1},& ortherwise\end{array}$$

符合串集合的幂

A n = { { ε } n = 0 A A n − 1 o r t h e r w i s e A^n =\begin{cases} \{ε\} & n=0\\ AA^{n-1} & ortherwise \end{cases} An={{ε}AAn−1​n=0ortherwise​

就是重复的集合联结运算

集合的闭包

$$A^{\ast }=A^0\cup A^1\cup A^2.....=\bigcup _1^n{A}^i$$

正闭包就是没有$A^0$的$A^{\ast }$
$$A^{\ast }=A^1\cup A^2.....=\bigcup _1^n{A}^i$$

则$A^0=A^{\ast }\ast A$