期刊文献+

面向扩展文法语义分析器的自动生成

Automatic Generation of Semantic Parser for Extended Grammar
下载PDF
导出
摘要 在扩展巴克斯范式(EBNF)Earley分析的基础上,提出一个语义分析器的自动生成算法,给出了一个带有语义动作的扩展文法和一个输入,即可生成其语义分析器.通过执行语义动作,就可以进行类型检查、中间代码生成及优化等相关工作,使得该算法成为完整的扩展文法分析技术,并在实际运用中成为可能. On the basis of Earley parsing extended grammars, this paper gives an automatic generation algorithm of a semantic parser for EBNF. Given an extended grammar with embedded semantic routines and an input string, the algorithm outputs the corresponding semantic parser. With the execution of these semantic routines, some work such as type checking, intermediate code generation and optimization can be done, which makes the parsing algorithm a full and significative parsing technique.
出处 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2005年第6期751-756,共6页 Journal of Jilin University:Science Edition
关键词 Earley分析 扩展文法 操作符状态机 语义动作 分析器 Earley parsing extended grammar operator state machine semantic routine parser
  • 相关文献

参考文献12

  • 1Earley J.An Efficient Context-free Parsing Algorithm [J].Commum ACM,1970,13:94-102.
  • 2Earley J.An Efficient Context-free Parsing Algorithm [D]:[Ph D Thesis].Pittsburgh:Carnegie-Mellon University,1968.
  • 3McLean P,Horspool N.A Faster Earley Parser [J].Lecture Notes in Computer Science,1996,1060:281-293.
  • 4Aycock J,Horspool R.Practical Earley Parsing [J].The Computer Journal,2002,45(6):620-630.
  • 5Wirth N.What Can We Do about the Unnecessary Diversity of Notation for Syntactic Definitions [J].Commun ACM,1977,20(11):822-823.
  • 6Williams M.A Flexible Notation for Syntactic Definitions [J].Commun ACM,1982,4(1):113-119.
  • 7WANG Sheng-jun,JIN Cheng-zhi.An Extension of Earley's Algorithm for Extended Grmmars [C].International Conference on Computational Methods.Singapore:Springer-Verlag,2004.
  • 8Aho Alfred V,Sethi Ravi,Ullman J D.Compilers:Principles,Techniques,and Tools [M].Toronto:Addison-Wesley,1986:159-343.
  • 9Aycock J,Horspool N.Directly-executable Earley Parsing [J].Lecture Notes in Computer Science,2001,2027:229-243.
  • 10IEEE Std.1-55937-518-3.IEEE Std 716-1995 716 C/ATLAS Subcommittee of IEEE Standards Coordinating Committee 20,Standard Test Language for All Systems-common/Abbreviated Test Language for All Systems (C/ATLAS) [S].New York:The Institute of Electrical and Electronics Engineers Inc,1995.

二级参考文献9

  • 1刘磊,郑红军,金成植.基于语法的元程序设计系统的自动生成技术[J].小型微型计算机系统,1994,15(2):11-15. 被引量:5
  • 2Tim Sheard. Accomplishments and research challenges in meta-programming [J]. Lecture Notes in Computer Science, 2001, 2196: 2-46.
  • 3Cameron Robert D, Robert Ito M. Grammar_based definition of metaprogramming system [J]. ACM Transactions on Programming Languages and System, 1984, 6(1): 20-54.
  • 4Etienne Gagnon. SABLECC, an object-oriented compiler framework [EB/OL]. http://citeseer.nj.nec.com/rticle agnon98sablecc.html. 1998-03.
  • 5Sheard T, Hook J. Meta-programming tools for ML [EB/OL]. http://citeseer.nj.nec.com/article/sheard 94metaprogramming.html. 1994-02-25.
  • 6IEEE Std. 1-55937-518-3, IEEE Std 716-1995 716 C/ATLAS subcommittee of IEEE standards coordinating committee 20, standard test language for all systems-common/Abbreviated test language for all systems (C/ATLAS) [S]. New York: The Institute of Electrical a
  • 7Friedrich Wilhelm Schroer. The ACCENT compiler introduction and reference [R]. German National Research Center for Information Technology: GMD Report 101, 2000-07.
  • 8Erich Gamma, Richard Helm, Ralph Johnson,et al. Design patterns: elements of reusable object-oriented software [M]. Boston: Addison Wesley Longman, 1994.
  • 9Mjiner Informatics Report. The metaprogramming system-reference manual [EB/OL]. http://www. aimi.au.dk/-beta/doc/yggdrasil/. 2000-11.

共引文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部