Affiliation:
1. Univ. of Edinburgh, Edinburgh, Scotland
Abstract
A simple model, AT, for nondeterministic machines is presented which is based on certain types of trees. A set of operations, Σ, is defined over AT and it is shown to be completely characterized by a set of inequations over Σ. AT is used to define the denotational semantics of a language for defining nondeterministic machines. The significance of the model is demonstrated by showing that this semantics reflects an intuitive operational semantics of machines based on the idea that machines should only be differentiated if there is some experiment that differentiates between them.
Publisher
Association for Computing Machinery (ACM)
Subject
Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software
Cited by
110 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献