【摘 要】
：
Action演算簇(action calculi)是一种抽象的数学结构,已经表明它可以表示λ演算、进程代数、γ演算以及函数式语言等.作为Action演算簇的进一步应用,针对一个典型的顺序命令
论文部分内容阅读
Action演算簇(action calculi)是一种抽象的数学结构,已经表明它可以表示λ演算、进程代数、γ演算以及函数式语言等.作为Action演算簇的进一步应用,针对一个典型的顺序命令式语言SIL,充分利用Action演算的可扩充性,定义了一个具体的Action演算AC(KSIL),同时为了给出循环计算的表示引入了高阶性.给出了SIL的AC(KSIL)语义,并证明了SIL的操作语义与AC(KSIL)语义之间的对应关系.最后讨论了顺序机制的控制及其控制规则定义方法.不仅表明Action演算可以方便地表
其他文献
在我小姨家，有一个“宝贝”，他的小脸蛋红扑扑的，眼睛水灵灵的，两个小眼珠子转啊转，似乎怎么也转不够。他在我们几个表兄弟姐妹里最小，虽然也最瘦小，但依旧很可爱，是个小帅哥，大家都很喜欢他，就叫他“小宝”了。 小宝非常可爱，萌萌哒，没啥攻击力，又称“卖萌达人”，最牛的招数是“萌死人不偿命”。此招异常强大，被命中者则“一箭穿心——歇菜”。 上次，小宝迷上了弹珠，天天见谁就嚷着给他买珠子。我带他去“小
随着时代的发展和素质教育改革的进一步深化，单一被动和陈旧的学习方式，已经成为影响素质教育在课堂中推进的一个障碍。思想政治课教师的职责除了传统意义上的“传道、授业、解惑”外，更重要的是教给学生终身学习的本领——学会学习。 所谓“自主学习”是就学生的内在品质而言的，是指较少依赖别人的帮助而自己相对独立地进行有效的学习，相对立的是“被动学习”、“机械学习”和“他主学习”。具体地说，是教师通过激发学生内
【摘 要】 小组合作学习，顾名思义就是以合作学习小组为基本形式，利用教材中各要素之间的互动来促进学生之间的学习，然后达到教学目标的过程。在教学中，小组合作学习是一个非常良好且有效的学习方法，尤其是适用于师生、生生互动情况下的英语教学。那么，在英语课堂上我们应该如何进行小组合作学习呢？在这篇论文中，我们就一起来探讨一下。 【关键词】 活跃；求知欲；分工 英语在科目中的重要作用，我们就不多谈了。英