问答题 有语言L={w|w∈（0，1）+，并且w中至少有两个1，又在任何两个1之间有偶数个0}，试构造接受该语言的确定有限状态自动机。

问答题 构造一文法，其产生语言集合为{uawb|u，w∈{a，b}*且|u|=|w|}，并说明你所设计的文法是属于乔姆斯基形式文法中的哪一类文法？

问答题 请给出布尔表达式利用规则： 进行翻译后的四元式序列？并以此解释什么是链接与回填？