Tom T. P. Franken ; Thomas Neele - Expressivity of AuDaLa: Turing Completeness and Possible Extensions

lmcs:14977 - Logical Methods in Computer Science, April 16, 2026, Volume 22, Issue 2 - https://doi.org/10.46298/lmcs-22(2:5)2026
Expressivity of AuDaLa: Turing Completeness and Possible ExtensionsArticle

Authors: Tom T. P. Franken ; Thomas Neele

AuDaLa is a recently introduced programming language that follows the new data autonomous paradigm. In this paradigm, small pieces of data execute functions autonomously. Considering the paradigm and the design choices of AuDaLa, it is interesting to determine the expressivity of the language. In this paper, we implement Turing machines in AuDaLa and prove that implementation correct. This proves that AuDaLa is Turing complete, giving an initial indication of AuDaLa's expressivity. Additionally, we give examples of how to add extensions to AuDaLa to increase its practical expressivity and to better match conventional parallel languages, allowing for a more straightforward and performant implementation of algorithms.


Volume: Volume 22, Issue 2
Secondary volumes: Selected Papers of the 44th International Conference on Formal Techniques for Distributed Objects, Components and Systems and the 26th International Conference on Coordination Models and Languages (FORTE and COORDINATION 2024)
Published on: April 16, 2026
Accepted on: December 22, 2025
Submitted on: December 20, 2024
Keywords: Logic in Computer Science, Programming Languages