Mit Turing-Vollständigkeit wird die universelle Programmierbarkeit eines Systems beschrieben. Kann ein System alle möglichen Berechnungen durchführen,  ist es Turing-vollständig bzw. turingmächtig. Da dies für einen Computer unbegrenzten Speicherplatz voraussetzen würde, spricht man bereits von Turing-Vollständigkeit, wenn ein universelles System in der Theorie allen vorgesehenen Aufgaben gewachsen ist. Ein Beispiel ist die Ethereum Virtual Machine (EVM), Ethereums Runtime Environment für Smart Contracts.