justifications for the fundamental forces. In this paper, we provide discrete counterparts to the
main gauge theoretical concepts, directly in terms of Cellular Automata. More precisely, we
describe a step-by-step gauging procedure to enforce local symmetries upon a given
Cellular Automaton. We apply it to a simple Reversible Cellular Automaton for concreteness.
From a Computer Science perspective, discretized gauge theories may be of use in …