Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On the Executability of Interactive Computation   The model of interactive Turing machines (ITMs) has been proposed to
characterise which stream translations are interactively computable; the model
of reactive Turing machines (RTMs) has been proposed to characterise which
behaviours are reactively executable. In this article we provide a comparison
of the two models. We show, on the one hand, that the behaviour exhibited by
ITMs is reactively executable, and, on the other hand, that the stream
translations naturally associated with RTMs are interactively computable. We
conclude from these results that the theory of reactive executability subsumes
the theory of interactive computability. Inspired by the existing model of ITMs
with advice, which provides a model of evolving computation, we also consider
RTMs with advice and we establish that a facility of advice considerably
upgrades the behavioural expressiveness of RTMs: every countable transition
system can be simulated by some RTM with advice up to a fine notion of
behavioural equivalence.

9
The categories of this paper are: nlin
32
The categories of this paper are: atom-ph
16
The categories of this paper are: stat
25
The categories of this paper are: patt-sol
36
The categories of this paper are: cmp-lg
37
The categories of this paper are: supr-con
8
The categories of this paper are: hep-ex
5
The categories of this paper are: gr-qc
11
The categories of this paper are: hep-lat
6
The categories of this paper are: astro-ph
14
The categories of this paper are: math-ph
15
The categories of this paper are: nucl-ex
18
The categories of this paper are: econ
3
The categories of this paper are: physics
33
The categories of this paper are: plasm-ph
7
The categories of this paper are: hep-th