软考-程序设计语言与语言处理程序基础

3型用到的比较多

小写的{a,b}是终结符,{S,A}是非终结符(能够推出其他的符号),S是起始符,P是产生式(推导式)

 

有限自动机可以和正规式相互转换.

双圈代表的就是结束状态,

"|"表示或,(a|b)可以是a,可以是b,也可以是a,b;"*"表示循环,次数从0~无穷;

(1)答案是D. 一步步替换推导.

(2)答案是C.

用代入法:如果是A,则(1)中D也能被表示,所以不是A.

很显然B也不对;D容易迷惑人,实际上它是不对的,因为它所表示的只能是ab在前,ba在后.