华南理工大学学报(自然科学版) ›› 2019, Vol. 47 ›› Issue (2): 85-91.doi: 10.12141/j.issn.1000-565X.180335
周文博,刘磊,张鹏,吕帅
ZHOU Wenbo1, 2 LIU Lei1, 3 ZHANG Peng1, 2 L† Shuai1, 2
摘要: 正规函数表是一类典型的 Tabular 表达式,被广泛应用于软件说明文档. 文中对 Tabular 表达式中正规函数表操作的语义进行研究. 首先给出了正规函数表的形式文法, 讨论了规整性、完全性和不可交叉性等性质,说明了其求值过程; 然后根据操作的影响范 围,以内部操作和外部操作为分类标准,分别对二元操作、替换操作、提取操作和扩展操作 的语义进行刻画,讨论了各个操作的封闭性;最后通过电梯控制系统实例分析了相关操作 的实际应用场景,说明了正规函数表操作的形式语义的合理性和可用性. 实例结果表明, 文中提出的正规函数表操作的语义描述与实际结果是一致的.
中图分类号: