令文法G[E]为:
E→T|E+T|E-T
T→F|T*F|T/F
F→(E)|i
证明E+T*F是它的一个句型,指出这个句型的所有短语、直接短语和句柄。
E->T->T*F->(E)*F->(E+T)*F->(T+T)*F->(i+T)*F->(i+T)*i
终极符集合Vt={+,-,*,/,(,),i}
非终极符集合Vi={E,T,F}
最右推导:E => E-T => E-F => E-(E) => E-(T) => E-(T+F) => E-(T+i) => E-(T*F+i)
直接短语:T*F,i
通俗的说
终结符号就是语言中用到的基本元素,一般不能再被分解;
名词,动词,形容词,助词,等等基本语言单位。
非终结符则是"语法"中用到的元素,除非谈论"语法",一般交谈语言中并不会用到非终结符。
比如,主语,短语,词组,句子。
从形式语言中定义看,终结符(T)就是不可再分的字符或串。
而非终结符(N)是一个递归形式的定义:由终结符和至少一个非终结符号组成的串。
以上内容参考:百度百科-终结符