We define computational atoms named "actions" equipped primarily with three operations: reduction, collection, and inspection. We show how actions can be used for decision-making algorithms from simple axioms. We describe the encodings of typical data structures as actions, and provide a method of analysis for algorithms on the basis of data mutation.

翻译：我们定义了一种名为"动作"的计算原子，主要配备三种操作：约简、收集和检查。我们展示了如何从简单公理出发，利用动作构建决策算法。我们描述了典型数据结构作为动作的编码方式，并提供了一种基于数据变异的算法分析方法。