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

(67)

(66)

(64)

(65)

(61)

(62)

The　approach　we　propose　is　a　system-oriented　methodology　for　knowledge　acquisition.　This　orientation　emphasizes　ongoing　documentation　throughout　each　cycle　and　technique　applied.　Program-wide　documentation　is　suggested,　both　for　the　purpose　of　internal(71)and　for　later　verification　and(72)efforts:　The　documentation　system　we　propose　includes　a　central　"knowledge　acquisition(73)"which　is(74)to　reflect　knowledge　acquisition　plans,　session　nodes,　and　domain　expert　participation.　Specifically,(75)within　the　database　system　include　knowledge　acquisition　forms,　which　document　plans　for,　and　notes　from,　knowledge　acquisition　session,　domain　expert　file,　and　rule　content　forms.

(60)

You　want　to　use　the　Web　to　let　Eternal　users　or　your　customers　look　at　corporate　information.　But　you　want　to　keep　installation　at　the　user　end(66)and　you　don't　want　just　anyone　to　get(67)your　databases.

That　may　be　where　an　application　server　enters　the　picture.　For　more　user　machine　independent,　these　t　software　packages,　typically　written　in　the(68)programming　language.

for　use　on　Windows　NT-based　systems,　act　as　go-betweens　linking　browser-equipped　　end　users　to　the　databases　that(69)the　information　they　need　to(70)。

(59)