Furkan Semih Dündar, Xerxes D. Arsiwalla, Hatem Elshatlawy

We show how representations of finite-dimensional quantum operators can be constructed using nondeterministic rewriting systems. In particular, we investigate Wolfram model multiway rewriting systems based on string substitutions.