PECR is a formal system designed to explore the properties of computability of programs on a real-world computer. As such PECR incorporates the finite resources of the machine upon which a program is to be executed. The main features of the formal system will be presented and its practical applications will be discussed. Of particular interest is the implementation of the formal system to the exploration of the laws of nature that lead to rigorous constructions of computer models of real-world phenomena.

翻译：PECR是一个形式系统，旨在探索真实计算机上程序的可计算性属性。为此，PECR纳入了程序执行所依赖机器的有限资源。本文将介绍该形式系统的主要特征，并探讨其实际应用。特别值得关注的是，该形式系统被用于探索自然规律，从而实现对真实世界现象进行严格构建的计算机模型。