设A 是符号串的集合,则{ε}
设A 是符号串的集合,则ε
空符号串的集合{ε }= {}=Ø。
一个句型中出现某一个产生式的右部,则此右部一定是此句型的句柄。
若一个语言是无穷集合,则定义该语言的文法一定是递归的。
一个语言的文法是唯一的。
在形式语言中,最右推导的逆过程也称为规范归约。
设G 是一个文法,S 是文法开始符号,如果S⇒*x 且x ∈,则称x 为文法G[S]的句型。
![设G 是一个文法,S 是文法开始符号,如果S⇒*x 且x ∈,则称x 为文法G[S]的句型。](https://www.catpuzi.com/wp-content/themes/Git-alpha/timthumb.php?src=http://mooc-image.nosdn.127.net/_PhotoUploadUtils_7219e690-af07-4b79-991f-298d6d6f867f.png&h=160&w=260&q=90&zc=1&ct=1)
设G 是一个文法,S 是文法开始符号,如果S⇒*x 且x ∈,则称x 为文法G[S]的句子。
![设G 是一个文法,S 是文法开始符号,如果S⇒*x 且x ∈,则称x 为文法G[S]的句子。](https://www.catpuzi.com/wp-content/themes/Git-alpha/timthumb.php?src=http://mooc-image.nosdn.127.net/_PhotoUploadUtils_db9ad823-c318-4951-8079-04cc62b5f631.png&h=160&w=260&q=90&zc=1&ct=1)
设G 是一个文法,S 是文法开始符号,如果S⇒*x 且x ∈ ,则称x 为文法G[S]的句子。
![设G 是一个文法,S 是文法开始符号,如果S⇒*x 且x ∈ ,则称x 为文法G[S]的句子。](https://www.catpuzi.com/wp-content/themes/Git-alpha/timthumb.php?src=http://mooc-image.nosdn.127.net/_PhotoUploadUtils_872c4470-943c-47b7-baf5-a71d055e6363.png&h=160&w=260&q=90&zc=1&ct=1)
文法S::=aB B::= cB B::=b C::=c 是（）型文法
文法S::=aCd aC::=B aC::=aaA B::=b是（）型文法？
S::=aSBC aBc::=abc eCf::=ecf，则该文法为 型文法
设文法G规则为： S::=AB B::=a|Sb A::=Aa|bB句型baABb 的句柄是（）
编译程序与具体的机器有关。