基于超文法的扩展文法转换技术

来源 :吉林大学学报:理学版 | 被引量 : 0次 | 上传用户:chenzy43111
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对带有优先级的扩展巴克斯范式(EBNF),普通的语法分析技术很难适用于该文法的问题,给出了扩展文法的形式定义,提出一种基于超文法的EBNF到巴克斯范式(BNF)的转换算法,并给出转换的正确性证明,该算法在ATLAS语言编译器的开发中得到了实际应用和验证.
其他文献
目的探讨精准半肝切除治疗原发性肝癌的体会。方法分析2013年1月至2014年6月在中山市人民医院肝胆外科接受精准半肝切除治疗的30例原发性肝癌患者临床资料。统计分析患者的术
运用计算机图像处理方法检测化纤喷丝板单孔孔径和堵塞.使用二维转台和CCD摄像头采集喷丝板单孔图像,并提出一种新的图像检测算法:先对喷丝孔图像进行傅里叶变换,再采用Sobel算子边缘检测和Sobel算子边缘细化法,依据圆孔几何特征判定喷丝孔是否堵塞,依据其图像所占像素量确定堵塞面积比,并求得未堵塞喷丝孔的直径.实际应用表明,所提算法合理、有效,达到了一定的测量精度。
研究一类非线性方程组的奇摄动初值问题,先把相应的解展开成小参数ε的幂级数形式,再利用初始层校正法,依次构造外部解和初始层校正项的近似式,得到了该问题的一致有效的渐近解及