This paper discusses the concept of an X-machine, which is a general model of computation, with the intention of using this model in the specification of computer systems. The elementary theory of these constructs is briefly described, but the bulk of the paper is concerned with looking at some examples and the ways that these ideas might be useful in the description and analysis of almost any system.
展开▼
机译:本文讨论了 X 机器的概念,这是一个通用的计算模型,旨在将该模型用于计算机系统的规范。简要描述了这些结构的基本理论,但本文的大部分内容都涉及查看一些示例以及这些想法在描述和分析几乎任何系统时可能有用的方式。
展开▼