罗夫

形式语言及其与自动机的关系.pdf

本书是数字电子计算机编译程序理论和语言理论方面的著作. 全书共分十四章.前八章主要介绍Chomsky定义的短语结构文法、前后文有关文法、前后文无关文法和正规文法,并证明了与这四类文法等价的四类自动机:图灵机、线性界限自动机、下推自动机和有穷自动机.第九章讨论语言的

铍的氧化与保护.pdf

书中叙述了用光学、电子显微镜、x射线和电子射线等近代方法,在广泛的湿度和压力范围内,以各种气态介质研究铍的氧化腐蚀和保护而得出的实验结果。指出金属的纯度、气态介质的湿度、表面处理等不同因素对氧化动力学的影响。阐明了铍及其合金的氧化机理,并研究了改善它们抗蚀性能的途径和方法。亦讨论