根据乔姆斯基于20世纪50年代建立的形式语言的理论体系，语言的文法被分为 4种类型，即0型(短语文法)，1型(上下有关文法)、2型(上F文无关文法)和3型(正规文法)。其中，2型文法与(56)等价，所以有足够的能力描述多数现今程序设计的语言的句法结构。一个非确定的有限自动机必存在一个与之等价(57)。从文法描述语言的能力来说，(58)最强，(59)最弱，山4类文法的定义可知：(60)必是2型文法。

有以下程序：#include#includemain(){　char w[20],a[5][10]={abcdef,ghijkl,mnopq,rstuv,wxyz.};　int i;　for(i=0;i<5;i++)w[i]=a[i][strlen(a[i])-1];　w[5]='\0';　puts(w);}程序的运行结果是（　　）。

设语言L={w|w∈{a,b}+且w中a和b的个数相等}，产生语言L的上下文无关文法是(28)。

设有职工关系W(工号，姓名，工程，定额)，其中每个职工有可能同名，但是有不同的工号，每个职工一个工程，每个工程一个定额，则关系W已达到( )。

设有职工关系W(12号，姓名，工程，定额)，其中每个职工有可能同名，但是有不同的工号，每个职工一个工程，每个工程一个定额，则关系W已达到( )。

G－W„P„W′－G′是指（）

P…W’－G’·G－W…P表示的是（ ）

对W-G-W和G-W-G′两个流通公式进行对比可以看出（）。

在某合金钢中，w（C）=0.24%，w（Mn）=0.70%，w（Cr）=0.80%，那么碳当量等于（）。

已知文法G：S→WZ W→X|Y X→a|aX Y→b|bY Z→c|cZ,G定义的语言的相应正规式为（ ）。

G－W„P„W′－G′是指（）

已知文法G［S］：S→A0｜B1，A→S1｜1，B→S0｜0；该文法属于乔姆斯基定义的__（1）__文法，它不能产生串__（2）__。空白（1）处应选择（）