期刊文献+

一类算术表达式的语法分析及规范化方法 被引量:1

The Method of Grammar-analysis&Standardi of Arithmatic Expressions
下载PDF
导出
摘要 文中阐述了一种简便的针对一类算术表达式的语法分析方法,同时给出了该类表达式的一种规范化形式及规范化方法.这为需要进行简单数学运算的不带编译器的系统提供了一种简易的前期检错和规范机制. The thesis shows an easy-handled way that analyses the grammar errors of arithmetic expressions and at the same time gives out a normative form for the expressions of this kind.It offers an easy prophase errorchecking and formalizing device for the systems without a complier which needs processing some simple arithmetic operations.
出处 《赣南师范学院学报》 2003年第3期21-23,共3页 Journal of Gannan Teachers' College(Social Science(2))
关键词 表达式 语法分析 规范化 expression grammar-analysis standardize
  • 相关文献

参考文献1

  • 1(美)Kenneth C.Louden.冯博琴 冯岚 等译.编译原理及实践[M].机诫工业出版社,2000..

同被引文献14

  • 1刘峰,袁春风.基于MathML的数学表达式等价性的研究[J].计算机应用研究,2004,21(11):54-56. 被引量:8
  • 2袁世伦,李胜利,袁平鹏,邝坪.一种基于规则的工作流模型互操作的实现方法[J].计算机应用,2007,27(2):400-402. 被引量:4
  • 3PAPAZOGLOU M P, van den HEUVEL W J. Service oriented ar- chitectures: Approaches, technologies and research issues [ J]. The International Journal on Very Large Data Bases, 2007, 16(3) : 389 -415.
  • 4XU LIDA, LIU HUIMIN, WANG SONG, et al. Modelling and a- nalysis techniques for cross-organizational workflow systems [ J]. Systems Research and Behavioral Science, 2009, 26 (3) : 367 - 389.
  • 5LIN QIANG, GE JIDONG, HU HAO, et al. An approach to model cross-organizational processes using object Petri net [ C]// SCW 2007:2007 IEEE International Conference on Services Computing- Workshops. Washington, DC: IEEE Computer Society, 2007:146 - 152.
  • 6KOURTESIS D, PARASKAKIS I. Combining SAWSDL, OWL-DL and UDDI for semantically enhanced Web service discovery [ C]// ESWC' 08: Proceedings of the 5th European Semantic Web Confer- ence on the Semantic Web: Research and Applications, LNCS 5021. Berlin: Springer-Verlag, 2008:614-628.
  • 7ZHANG JIDONG, HUO WEIPENG. Research on the composition mechanism of semantic Web services [ C]// ICCSIT 2010: Pro- ceedings of the 3rd IEEE International Conference on Computer Science and Information Technology. Washington, DC: IEEE Computer Society, 2010:100 - 103.
  • 8HEMER D. Semi-automated component-based development of formally verified software [C]// REFINE 2006: Proceedings of the llth Re- finement Workshop on Electronic Notes in Theoretical Computer Sci- ence. Amsterdam, Netherlands: Elsevier, 2007:173-188.
  • 9张静,王海洋,崔立真.基于Pi演算的跨组织工作流建模研究[J].计算机研究与发展,2007,44(7):1243-1251. 被引量:15
  • 10曹京,谭建龙,刘萍,郭莉.布尔表达式匹配问题研究[J].计算机应用研究,2007,24(9):70-72. 被引量:5

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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