Temporal Causal Models as a Model of Computation
Abstract
Causal models, also known as Structural Equation Models (SEM), are a well-known formalism for representing and reasoning about causal dependencies between events. In this paper, we show that Temporal SEMs (TSEMs), which extend SEMs to support causal reasoning in temporal settings, can be interpreted as a model of computation. We prove that TSEMs can encode Linear Bounded Automata, and thus causal settings representable in context sensitive languages. We also prove that TSEMs with countably many variables are Turing complete. These results establish a formal connection between causal reasoning and classical models of computation, enabling the integration of counterfactual reasoning techniques from causal inference into the theory of computation.
Cite
@article{arxiv.2605.06292,
title = {Temporal Causal Models as a Model of Computation},
author = {Maksim Gladyshev and Natasha Alechina and Brian Logan},
journal= {arXiv preprint arXiv:2605.06292},
year = {2026}
}