微嗅觉

从流氓到微型。重写演算被提出作为一个基础系统,它结合了$lambda $演算和术语重写的中心思想。重写是明确的,从某种意义上说,规则必须明确地应用于术语来转换它们。本文从RoGrand重写演算的命令版本开始。然后,它展示了如何通过一个更为基础的系统——微操作系统来方便地实现流氓。MICRORUGE使用全局一阶规则改写术语。可以在范围内启用、禁用和动态添加规则,这些规则可以被推送和弹出。MICRORGOE还提供了用于指定评价顺序的机制。使用这些原语,可以在少于40行的微代码代码中实现流氓解释器。